Skip to content

Pass the C file to the svcomp runner rather than the optimized llvm#739

Merged
hernanponcedeleon merged 1 commit intodevelopmentfrom svcompSep 19, 2024

Commits

Commits on Sep 18, 2024