mirror of
https://github.com/Z3Prover/z3
synced 2025-10-24 00:14:35 +00:00
cbca609af4
Previously the `test-z3` executable was run without arguments which appears to run no tests. To fix this the `/a` argument is passed which will run all tests that don't require arguments. This was noticed in #1159 when @KarenHuang2016 reported a failing test. |
||
|---|---|---|
| .. | ||
| ci | ||
| cmake | ||
| qprofdiff | ||