diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-04-19 19:20:55 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-04-21 13:07:50 +0100 |
| commit | edfa29e836087cb61f33afcac40640be5f36341a (patch) | |
| tree | 486732d8e87b5d92d9835223914ce8bbac0d9d98 /test/regression | |
| parent | 8795286d8277ffaecec405d8fa6e714cddafbeed (diff) | |
| download | klee-edfa29e836087cb61f33afcac40640be5f36341a.tar.gz | |
Tests: replaced "-data" and "-stat" by "_data" and "_stat" for consistency with recent changes.
Diffstat (limited to 'test/regression')
| -rw-r--r-- | test/regression/2016-03-22-independence-solver-missing-objects-for-assignment.kquery | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/test/regression/2016-03-22-independence-solver-missing-objects-for-assignment.kquery b/test/regression/2016-03-22-independence-solver-missing-objects-for-assignment.kquery index 9116ea47..d2deabbe 100644 --- a/test/regression/2016-03-22-independence-solver-missing-objects-for-assignment.kquery +++ b/test/regression/2016-03-22-independence-solver-missing-objects-for-assignment.kquery @@ -1,15 +1,15 @@ # RUN: %kleaver %s 2>&1 | FileCheck %s array n_args[4] : w32 -> w8 = symbolic array n_args_1[4] : w32 -> w8 = symbolic -array A-data-stat[144] : w32 -> w8 = symbolic -array stdin-stat[144] : w32 -> w8 = symbolic +array A_data_stat[144] : w32 -> w8 = symbolic +array stdin_stat[144] : w32 -> w8 = symbolic (query [(Ult N0:(ReadLSB w32 0 n_args) 2) (Slt 0 N0) (Ult N1:(ReadLSB w32 0 n_args_1) 3) (Slt 0 N1) (Slt 1 N1) -(Eq false (Eq 0 (And w64 (ReadLSB w64 8 A-data-stat) 2147483647))) -(Ult (ReadLSB w64 56 A-data-stat) 65536) -(Eq false (Eq 0 (And w64 (ReadLSB w64 8 stdin-stat) 2147483647)))] -(Eq false (Ult (ReadLSB w64 56 stdin-stat) 65536)) [] [n_args]) +(Eq false (Eq 0 (And w64 (ReadLSB w64 8 A_data_stat) 2147483647))) +(Ult (ReadLSB w64 56 A_data_stat) 65536) +(Eq false (Eq 0 (And w64 (ReadLSB w64 8 stdin_stat) 2147483647)))] +(Eq false (Ult (ReadLSB w64 56 stdin_stat) 65536)) [] [n_args]) # CHECK: INVALID |