---
layout: fc_discuss_archives
title: Message 18 from Frama-C-discuss on June 2012
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] alt-ergo silently ignored / any idea?
- Subject: [Frama-c-discuss] alt-ergo silently ignored / any idea?
- From: dmentre at linux-france.org (David MENTRE)
- Date: Tue, 26 Jun 2012 17:20:14 +0200
- In-reply-to: <CAFaEDLCsRH00yYZJZj7BPb97UL3X90hB6X05ufVqDANiLccx=g@mail.gmail.com>
- References: <CAFaEDLC0QHAoOfUC6mE9fGL8da4JPBC_JoHM2zCBH-9iQ+UnBA@mail.gmail.com> <CA+yPOVhMFXw3r9y_vh_YcgJ-TCL3H1yuYT_==OGjaEdy69ny5A@mail.gmail.com> <CAFaEDLCdWYU_BzL_jRi_D5-qTqV6=Z4rX9nQiC9RNyr+mJG=YA@mail.gmail.com> <CA+yPOVi=H4SfywcYutVDNSiZH-x3Ev73VaSChkBhzyr58hoLJg@mail.gmail.com> <CAFaEDLCsRH00yYZJZj7BPb97UL3X90hB6X05ufVqDANiLccx=g@mail.gmail.com>
Hello,
2012/6/26 sylvain nahas <sylvain.nahas at googlemail.com>:
> What mean the different kind of files (body.txt, ergo.txt, ergo.txt,
> head.why) and how are they combined for calling the theorem prover?
This is explained in section 2.2.7 p. 20 of WP Manual.
Best regards,
david