Signal -7 and then crashed.
ID0001602: This issue was created automatically from Mantis Issue 1602. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001602 | Frama-C | Plug-in > wp | public | 2014-01-15 | 2014-06-02 |
| Reporter | dharma | Assigned To | correnson | Resolution | unable to reproduce |
| Priority | high | Severity | crash | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Fluorine-20130601 | Target Version | - | Fixed in Version | - |
Description :
$ frama-c -wp -wp-rte test_frama.c -wp-fct=myFunc -wp-bhv=basic -main myFunc -lib-entry -wp-timeout=500
[kernel] preprocessing with "gcc -C -E -I. test_frama.c" [wp] Running WP plugin... [rte] annotating function myFunc [wp] Collecting axiomatic usage [wp] 1 goal scheduled [wp] [Alt-Ergo] Goal typed_myFunc_basic_post : Failed Error: Unix.SIGNAL -7
Any comments?
Steps To Reproduce :
I used Alt-Ergo 0.95.2. Unfortunately, this code is somewhat complex and cannot disclose here although I would like to share.
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information