Skip to content
svcomp21 protected
Martin Spiessl's avatar
Martin Spiessl
@masp
3d58d205 · Make update of version output of linter easier · 
Version of the witness format used in SV-COMP 2021