Jessie internal error
ID0000199: This issue was created automatically from Mantis Issue 199. Further discussion may take place here.
|ID0000199||Frama-C||Plug-in > jessie||public||2009-07-22||2009-12-03|
|Product Version||Frama-C Beryllium-20090601-beta1||Target Version||-||Fixed in Version||-|
I've obtained the following output:
[kernel] error: unexpected error File "src/jessie/interp.ml", line 1764, characters 18-24: Assertion failed [kernel] error: please report as `crash' at http://bts.frama-c.com
Additional Information :
It does not crash anymore but still complains about a cast from char* to int.
This is normal since "a" is a string, it should be 'a'
I agree that Frama-C front-end should complain earlier...