SMT-LIB / benchmark-submission-2023

Repository for the submission of SMT-LIB benchmarks for the 2023 release.
1 stars 9 forks source link

Remove "./" from benchmark path if present #4

Closed hansjoergschurr closed 1 year ago

hansjoergschurr commented 1 year ago

This makes it slightly easier to run the script locally, since it is no longer an error to call quick-check.sh ./incremental/....