Project

General

Profile

« Previous | Next » 

Revision 6a93d814

Added by Xavier Thirioux about 7 years ago

added a directory optim/ dedicated to experiments about injecting/proving ACSL spec into optimized programs.

View differences:

tests/misc/durationThm_3_e2_148/durationThm_3_e2_148_report_short.report
13 13
Sofar_step         14               14        100%
14 14
Age_reset          4                4         100%
15 15
Age_step           16               16        100%
16
top_reset          12               14        85.7%
16
top_reset          14               14        100%
17 17
top_step           45               47        95.7%
18 18
----------------------------------------------------------

Also available in: Unified diff