Code

Remove svcomp specific options#773

Code

Merged

hernanponcedeleon merged 3 commits intodevelopmenthernanponcedeleon/Dat3M:developmentfrom svcomphernanponcedeleon/Dat3M:svcompCopy head branch name to clipboardNov 8, 2024

+6-33

Commits

Commits on Nov 6, 2024

• Set env variables to the beggining of svcomp script (we needthem to compute version)

  hernan-poncedeleon

  committed
  494fc60

• Remove svcomp options umin, umax, and step

  Show description for 6b3e9f1
  hernan-poncedeleon

  committed
  6b3e9f1

Commits on Nov 8, 2024

• Remove unused variable and imports

  Show description for 7e2b3f0
  hernan-poncedeleon

  committed
  7e2b3f0