--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on April 2014 ---
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