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.