Frama-C should return a non-null return value when a goal could not be validated (#2070) · Issues · pub / frama-c