Logging just enough information for failed pre-conditions (#1157) · Issues · pub / frama-c