invalid loop invariant marked as valid (without pending hypothesis) (#1181) · Issues · pub / frama-c