Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / optim / oversampling / out / typed / g_step_assert_4_Coq_Coq.out @ 6a93d814

History | View | Annotate | Download (198 Bytes)

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