source: CIVL/examples/slice/subsumption_0.trace.slice@ acdd55c

1.23 2.0 main test-branch
Last change on this file since acdd55c was 9ea79e9, checked in by Mitchell Gerrard <mitchellgerrard@…>, 10 years ago

Adding two test cases checking the path condition from a ControlDependence object against an oracle stored in a '.slice' file created within ./CIVLREP after running: civl replay -sliceAnalysis foo.c.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@3750 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 24 bytes
RevLine 
[9ea79e9]1Y0 + 1 <= 0
2Y0 - 2 <= 0
Note: See TracBrowser for help on using the repository browser.