Revision 6a93d814
Added by Xavier Thirioux about 7 years ago
| tests/misc/durationThm_3_e2_148/durationThm_3_e2_148_report.report | ||
|---|---|---|
| 51 | 51 |
Age_step_stmt_assign_6 1 |
| 52 | 52 |
Age_step_stmt_assign_7 1 |
| 53 | 53 |
Age_step_assign 1 |
| 54 |
top_reset 12 14 85.7%
|
|
| 55 |
top_reset_post 0
|
|
| 56 |
top_reset_post_2 0
|
|
| 54 |
top_reset 14 14 100%
|
|
| 55 |
top_reset_post 1
|
|
| 56 |
top_reset_post_2 1
|
|
| 57 | 57 |
top_reset_stmt_post 1 |
| 58 | 58 |
top_reset_stmt_post_2 1 |
| 59 | 59 |
top_reset_stmt_post_3 1 |
Also available in: Unified diff
added a directory optim/ dedicated to experiments about injecting/proving ACSL spec into optimized programs.