Test Result : Analysis/exploded-graph-rewriter

0 failures
19 tests
Took 5.3 sec.

All Tests

Test nameDurationStatus
checker_messages.dot0.18 secPassed
checker_messages_diff.dot0.18 secPassed
constraints.dot0.17 secPassed
constraints_diff.dot0.17 secPassed
dynamic_types.cpp0.24 secPassed
edge.dot0.33 secPassed
empty.dot0.34 secPassed
environment.dot0.16 secPassed
environment_diff.dot0.17 secPassed
escapes.c0.23 secPassed
initializers_under_construction.cpp0.26 secPassed
macros.c0.24 secPassed
node_labels.dot0.62 secPassed
objects_under_construction.cpp0.23 secPassed
program_points.dot0.17 secPassed
store.dot0.18 secPassed
store_diff.dot0.18 secPassed
topology.dot0.32 secPassed
trimmers.dot1 secPassed