diff options
Diffstat (limited to 'test/Solver/FastCexSolver.kquery')
| -rw-r--r-- | test/Solver/FastCexSolver.kquery | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/Solver/FastCexSolver.kquery b/test/Solver/FastCexSolver.kquery index b3ec63e3..0fc1d704 100644 --- a/test/Solver/FastCexSolver.kquery +++ b/test/Solver/FastCexSolver.kquery @@ -4,7 +4,7 @@ array arr1[4] : w32 -> w8 = symbolic (query [] (Not (Eq 4096 (ReadLSB w32 0 arr1)))) -array A-data[2] : w32 -> w8 = symbolic -(query [(Ule (Add w8 208 N0:(Read w8 0 A-data)) +array A_data[2] : w32 -> w8 = symbolic +(query [(Ule (Add w8 208 N0:(Read w8 0 A_data)) 9)] (Eq 52 N0)) |