--- 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?



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