Project

General

Profile

Download (119 Bytes) Statistics
| Branch: | Tag: | Revision:
1
(* Generated by Frama-C WP *)
2

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

    
9

    
(16-16/25)