diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2023-03-17 13:11:58 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-22 21:02:22 +0000 |
| commit | a52050202a53161615e1d088e61ff19d82aeef50 (patch) | |
| tree | 06595daa6a3d5adaf55bcb014fb1cc477944d7f1 /test/Solver/Z3ConstantArray.c | |
| parent | 5607a7f1910e579acc0b93b1ae2caba88e7d5fd7 (diff) | |
| download | klee-a52050202a53161615e1d088e61ff19d82aeef50.tar.gz | |
STP: add option to switch SAT solver: --stp-sat-solver and set default to CryptoMinisat
Diffstat (limited to 'test/Solver/Z3ConstantArray.c')
0 files changed, 0 insertions, 0 deletions