/usr/share/frama-c/libc/stdio.h:107:[jessie] failure: Unexpected exception.
ID0000667: This issue was created automatically from Mantis Issue 667. Further discussion may take place here.
|ID0000667||Frama-C||Plug-in > jessie||public||2011-01-11||2011-01-25|
|Product Version||Frama-C Boron-20100401||Target Version||-||Fixed in Version||-|
I'm using Frama-C Boron (Ubuntu package on Ubuntu 10.10).
A fatal exception is raised when applying jessie plugin on attached program using following command: frama-c -jessie -jessie-atp alt-ergo -pp-annot -cpp-command "gcc -C -E -I. -I /usr/share/frama-c/libc" evoting.c
Result: [kernel] preprocessing with "gcc -C -E -I. -I /usr/share/frama-c/libc -dD evoting.c" [jessie] Starting Jessie translation [kernel] No code for function __Frama_C_free_at_pos, default assigns generated /usr/share/frama-c/libc/stdio.h:107:[jessie] failure: Unexpected exception. Please submit bug report (Ref. "Extlib.NotYetImplemented("Interp.pred Pfresh")"). [kernel] The full backtrace is: Raised at file "src/kernel/log.ml", line 506, characters 30-31 Called from file "src/kernel/log.ml", line 500, characters 2-9 Re-raised at file "src/kernel/log.ml", line 503, characters 8-9 Called from file "src/lib/type.ml", line 746, characters 40-45 Called from file "queue.ml", line 134, characters 6-20 Called from file "src/kernel/boot.ml", line 50, characters 4-20 Called from file "src/kernel/cmdline.ml", line 170, characters 4-8
Plug-in jessie aborted because of an internal error. Please report as 'crash' at http://bts.frama-c.com
Any workaround would be appreciated.
Best regards, d.