Project

General

Profile

Download (198 Bytes) Statistics
| Branch: | Tag: | Revision:
1
File "/home/xthiriou/lustrec/lustre_compiler/branches/proof_acsl_new_backend/optim/oversampling/out/typed/f_step_assert_6_Coq.v", line 87, characters 0-4:
2
Error: Attempt to save an incomplete proof
(37-37/76)