ID0000796: **This issue was created automatically from Mantis Issue 796. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0000796 | Frama-C | Plug-in > wp | public | 2011-04-14 | 2011-10-10 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | patrick | **Assigned To** | dargaye | **Resolution** | fixed | | **Priority** | normal | **Severity** | minor | **Reproducibility** | have not tried | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | - | **Target Version** | - | **Fixed in Version** | Frama-C Nitrogen-20111001 | ### Description : The related PO seems to be probable. Perhaps a problem of axiomatics or triggers for alt-ergo. ### Additional Information : > frama-c-gui -wp -wp-prop p5 valinit.c -wp-proof alt-ergo ... [wp] [Alt-Ergo] Goal store_main_post_19_p5 : Timeout It should be the same problem with -wp-prop p5_bis ## Attachments - [valinit.c](/uploads/a48ae2216cd53c29a6445737407b4d78/valinit.c)