--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on April 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ignoring status of type invariant



Hello,

2014-04-21 18:34, Marko Sch?tz Schmuck:
> Why is the type invariant ignored?

Depending on plug-in, some ACSL features are not supported. Please refer 
to the corresponding plug-in manual to see which ACSL features are 
supported or not.

> What do I need to do so it is no longer ignored?

You cannot do much.

Sincerely yours,
david