Skip to content

Commit

Permalink
Revert "Add conf for SV-COMP 2026"
Browse files Browse the repository at this point in the history 
This reverts commit 9973870.
  • Loading branch information
@karoliineh
karoliineh committed Jan 31, 2025
1 parent 6fb51c4 commit adc71bc
Showing 1 changed file with 0 additions and 119 deletions.
119 changes: 0 additions & 119 deletions conf/svcomp26.json
View file

This file was deleted.

0 comments on commit adc71bc

Please sign in to comment.