Skip to content
FM2021-submission protected
Martin Spiessl's avatar
Martin Spiessl
@masp
d83e3b79 · Make Frama-C inline __VERIFIER_assert if present · 
version of Frama-C-SV as used for the FM 2021 submission