source: CIVL/examples/slice@ d2ef00b

1.23 2.0 main test-branch
Name Size Rev Age Author Last Change
../
simple.c 252 bytes 9ea79e9  
simple_0.trace.slice 12 bytes 9ea79e9  
subsumption.c 285 bytes 9ea79e9  
subsumption_0.trace.slice 24 bytes 9ea79e9  
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.