Closed viktormalik closed 3 years ago
Backporting changes made for SV-COMP'21:
atexit
It would be also nice to add tags after the merge (0.9.1 and 0.9.1-sv-comp-21 or something similar).
0.9.1
0.9.1-sv-comp-21
Backporting changes made for SV-COMP'21:
atexitin competition modeIt would be also nice to add tags after the merge (
0.9.1and0.9.1-sv-comp-21or something similar).