--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on October 2008 ---
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