svcomp2020
chalupa@fi.muni.cz
0b4b6e25
·
Fix assumptions in termination
·
Nov 28, 2019
SV-COMP 2020 version
