Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / tests / misc / durationThm_3_e2_148 / durationThm_3_e2_148_report_short.report @ 6a93d814

History | View | Annotate | Download (915 Bytes)

1 cc9e1901 ploc
Result of the analysis by WP
2
----------------------------------------------------------
3
Axiomatics          Proved           Total   Success
4
Lemma              5                5         100%
5
lemma_inv_init_1_top                          1 
6
lemma_inv_init_2_top                          1 
7
lemma_inv_inv_top                             1 
8
lemma_inv_spec_top                            1 
9
lemma_missing                                 1 
10
----------------------------------------------------------
11
Functions           Proved           Total   Success
12
Sofar_reset        4                4         100%
13
Sofar_step         14               14        100%
14
Age_reset          4                4         100%
15
Age_step           16               16        100%
16 6a93d814 xthirioux
top_reset          14               14        100%
17 cc9e1901 ploc
top_step           45               47        95.7%
18
----------------------------------------------------------