Unexpected error (File "interp.ml", line 1996, characters 8-14: Assertion failed)
ID0000972: This issue was created automatically from Mantis Issue 972. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000972 | Frama-C | Plug-in > jessie | public | 2011-09-23 | 2011-09-27 |
| Reporter | minhtuyen | Assigned To | cmarche | Resolution | unable to reproduce |
| Priority | normal | Severity | crash | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Carbon-20110201 | Target Version | - | Fixed in Version | - |
Description :
I have tested some examples containing axiomatic and I have the same error:
Unexpected error (File "interp.ml", line 1996, characters 8-14: Assertion failed)
This is the backtrack:
[kernel] The full backtrace is: Raised by primitive operation at file "list.ml", line 62, characters 22-25 Called from file "list.ml", line 62, characters 22-25 Called from file "list.ml", line 62, characters 22-25 Called from file "queue.ml", line 134, characters 6-20 Called from file "src/kernel/boot.ml", line 36, characters 4-20 Called from file "src/kernel/cmdline.ml", line 723, characters 2-9 Called from file "src/kernel/cmdline.ml", line 200, characters 4-8
Unexpected error (File "interp.ml", line 1996, characters 8-14: Assertion failed).