source: src/Clight/test/trivial.test.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2668   7 years campbell Intermediate measurable proof check-in before I change its traces again.
(edit) @2645   7 years sacerdot 1. some broken back-end files repaires, several still to go 2. the …
(edit) @2619   7 years campbell Update some test cases.
(add) @2535   7 years campbell Add the trivial C program with check that there's a measurable subtrace.
Note: See TracRevisionLog for help on using the revision log.