Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / optim / oversampling / wp1.script @ 6a93d814

History | View | Annotate | Download (119 Bytes)

1 6a93d814 xthirioux
(* Generated by Frama-C WP *)
2
3
Goal typed_f_step_assert_3.
4
Hint f_step,property.
5
Proof.
6
(* auto with zarith. *)
7
Qed.
8