Revision 6a93d814
Added by Xavier Thirioux about 7 years ago
| 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
added a directory optim/ dedicated to experiments about injecting/proving ACSL spec into optimized programs.