Frama-C Kernel on a specific C file (unexpected error, assertion failed) (#1179) · Issues · pub / frama-c