diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/Solver/FastCexSolver.pc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Solver/FastCexSolver.pc b/test/Solver/FastCexSolver.pc index b8f839c3..b3ec63e3 100644 --- a/test/Solver/FastCexSolver.pc +++ b/test/Solver/FastCexSolver.pc @@ -1,4 +1,4 @@ -# RUN: %kleaver --use-fast-cex-solver --use-dummy-solver %s > %t +# RUN: %kleaver --use-fast-cex-solver --solver-backend=dummy %s > %t # RUN: not grep FAIL %t array arr1[4] : w32 -> w8 = symbolic |