diff options
Diffstat (limited to 'test/Expr/Parser')
| -rw-r--r-- | test/Expr/Parser/Concat64.kquery | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Expr/Parser/Concat64.kquery b/test/Expr/Parser/Concat64.kquery index 0b1479d4..fdf73db4 100644 --- a/test/Expr/Parser/Concat64.kquery +++ b/test/Expr/Parser/Concat64.kquery @@ -1,4 +1,4 @@ -# RUN: kleaver --print-ast %s +# RUN: %kleaver --print-ast %s array arr1[8] : w32 -> w8 = symbolic (query [(Eq 0 |