aorai causes failed assertion
ID0001289: This issue was created automatically from Mantis Issue 1289. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0001289 | Frama-C | Plug-in > aoraï | public | 2012-10-25 | 2014-03-13 |
Reporter | Jochen | Assigned To | virgile | Resolution | fixed |
Priority | normal | Severity | crash | Reproducibility | always |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C Oxygen-20120901 | Target Version | - | Fixed in Version | Frama-C Neon-20140301 |
Description :
Running "frama-c ftest.c -aorai-automata ftest.ya" on the attached program causes an unexpectyed error in file cil_datatype.ml; see attached stdout log.