lustrec/optim/oversampling/out/typed/g_reset_call_f_reset_pre_Coq_Coq.out @ 6a93d814
| 1 |
File "/home/xthiriou/lustrec/lustre_compiler/branches/proof_acsl_new_backend/optim/oversampling/out/typed/g_reset_call_f_reset_pre_Coq.v", line 44, characters 0-4: |
|---|---|
| 2 |
Error: Attempt to save an incomplete proof |