Skip to content

Add sv-sanitizers verifier

Simmo Saan requested to merge sv-sanitizers-svcomp24 into main

Required for sosy-lab/benchmarking/fm-tools!31 (merged).

TODO

  • Zenodo artifact
  • fm-tools entry
Edited by Simmo Saan

Merge request reports