--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on May 2015 ---
Hello, In Frama-C Sodium, is E-ACSL plug-in included or should it be compiled separately? If separately, can version 0.4.1 used with Frama-C Sodium? I plan to make some demo of E-ACSL. ;-) Best regards, david