Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / optim / clocks7 / wp2.script @ 6a93d814

History | View | Annotate | Download (214 Bytes)

1
(* Generated by Frama-C WP *)
2

    
3
Goal typed_toto_step_assert_6.
4
Hint property,toto_step.
5
Proof.
6
(* auto with zarith. *)
7
Qed.
8

    
9
Goal typed_toto_step_assert_8.
10
Hint property,toto_step.
11
Proof.
12
  auto with zarith.
13
Qed.
14

    
15