Introduce --admit - Githubissues

project-everest / everest

https://project-everest.github.io/

Apache License 2.0

193 stars 29 forks source link

Closed mtzguido closed 4 years ago

mtzguido commented 4 years ago

Introduce an --admit option to pass in --admit_smt_queries true via OTHERFLAGS

s-zanella commented 4 years ago

Thanks!