Message about internal error Log.AbortFatal("kernel") (#364) · Issues · pub / frama-c