From a39348ba3b0f3739e1be0ab45942209a2007ae4d Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@comsys.rwth-aachen.de>
Date: Mon, 29 May 2023 12:48:53 +0200
Subject: test/Feature/StackTraceOutput.c: relative checks, clang-format

---
 test/Feature/StackTraceOutput.c | 17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)

diff --git a/test/Feature/StackTraceOutput.c b/test/Feature/StackTraceOutput.c
index a814adeb..d28cb13c 100644
--- a/test/Feature/StackTraceOutput.c
+++ b/test/Feature/StackTraceOutput.c
@@ -13,16 +13,19 @@
 #include <assert.h>
 
 void foo(int i, int k) {
-  ++i; ++k;
+  ++i;
+  ++k;
+
+  // CHECK-DISCARD: {{.*}} in foo(symbolic, 12) at {{.*}}.c:[[@LINE+2]]
+  // CHECK-NODISCARD: {{.*}} in foo(i=symbolic, k=12) at {{.*}}.c:[[@LINE+1]]
   assert(0);
-  // CHECK-DISCARD: {{.*}} in foo(symbolic, 12) at {{.*}}.c:17
-  // CHECK-DISCARD: {{.*}} in main() at {{.*}}.c:27
-  // CHECK-NODISCARD: {{.*}} in foo(i=symbolic, k=12) at {{.*}}.c:17
-  // CHECK-NODISCARD: {{.*}} in main() at {{.*}}.c:27
 }
 
 int main(void) {
-  int i, k=12;
+  int i, k = 12;
   klee_make_symbolic(&i, sizeof(i), "i");
-  foo(i,k);
+
+  // CHECK-DISCARD: {{.*}} in main() at {{.*}}.c:[[@LINE+2]]
+  // CHECK-NODISCARD: {{.*}} in main() at {{.*}}.c:[[@LINE+1]]
+  foo(i, k);
 }
-- 
cgit 1.4.1