Skip to content

SV-COMP 21 version
Compare
Choose a tag to compare
@mchalupa mchalupa released this 16 Dec 10:47
svcomp21
7134bcf

This release is a fixed version of Symbiotic that competed in SV-COMP 2021. The unfixed version is available from the competition's archives.

The fixes are:

  • fix of slicing for termination category
  • fix of handling fpclassify in slowbeast
  • generating trivial witnesses for 'true' answers from slowbeast

Slowbeast used is: https://gitlab.fi.muni.cz/xchalup4/slowbeast/-/tree/svcomp21-v1

Assets 3
Loading