VadeveSi
Results
2
issues of
VadeveSi
Hi, I propose the following changes: * Add an `--ignore-errors` option to the `run.py` script, which avoid the `sys.exit` whenever a command fails due to errors. * Fixed wrong run.py...
Hi, I wanted to work towards adding support for Z3's [consequences](https://z3prover.github.io/api/html/classz3_1_1solver.html#a4322874cf842109514596806684cd4d7) to the Solver. I figure something like ```rust pub fn get_consequence(self, mut assumptions: &[ast::Bool] ) -> &[ast::Bool