From b0aef8ebc9d53945549fc477558a4437baa46e2d Mon Sep 17 00:00:00 2001 From: Lukas Zaoral Date: Tue, 13 Apr 2021 16:39:56 +0200 Subject: tests: Invoke tools through their corresponding macros --- test/Expr/Parser/Concat64.kquery | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/Expr/Parser') 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 -- cgit 1.4.1