SMT retry count set to 3 when `--smt-retry-limit 0` is passed

runtimeverification / haskell-backend

The symbolic execution engine powering the K Framework

BSD 3-Clause "New" or "Revised" License

208 stars 41 forks source link

Closed geo2a closed 1 month ago

geo2a commented 2 months ago

We should make sure that we set the retry limit to what the user specifies in both Kore and Booster.