--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE : [Frama-c-discuss] complete behaviors



Hi,

You understood correctly the semantics of 'complete behavior' in ACSL.
This is a bug in Jessie which should at least emit a warning to assess that it cannot yet 
cope with the completness information.

Cheers,
Benjamin Monate