test: do not generate temp files in source dir

seahorn · Feb 19, 2024 · b41adfd · b41adfd
1 parent 942b86c
commit b41adfd
Show file tree

Hide file tree

Showing 7 changed files with 16 additions and 15 deletions.
diff --git a/tests/demo/demo2 b/tests/demo/demo2
@@ -1,5 +1,5 @@
-; RUN: %clam -O0 --crab-print-invariants=false --crab-opt=add-invariants --crab-opt-invariants-loc=all --crab-track=sing-mem "%s".c -o %s.bc
-; RUN: %llvm_dis < %s.bc | OutputCheck %s --comment=";"
+; RUN: %clam -O0 --crab-print-invariants=false --crab-opt=add-invariants --crab-opt-invariants-loc=all --crab-track=sing-mem "%s".c -o %t.bc
+; RUN: %llvm_dis < %t.bc | OutputCheck %s --comment=";"
 
 ; ModuleID = '/Users/jorge/Repos/clam14/tests/demo/demo2.bc'
 source_filename = "/Users/jorge/Repos/clam14/tests/demo/demo2.c"

diff --git a/tests/opt/test-opt-1 b/tests/opt/test-opt-1
@@ -1,5 +1,5 @@
-; RUN: %clam -O0 --crab-dom=int --crab-track=mem --crab-opt=replace-with-constants --devirt-functions=sea-dsa --crab-print-invariants=false --crab-disable-warnings "%s".c -o %s.bc
-; RUN: %llvm_dis < %s.bc | OutputCheck %s --comment=";"
+; RUN: %clam -O0 --crab-dom=int --crab-track=mem --crab-opt=replace-with-constants --devirt-functions=sea-dsa --crab-print-invariants=false --crab-disable-warnings "%s".c -o %t.bc
+; RUN: %llvm_dis < %t.bc | OutputCheck %s --comment=";"
 
 ; ModuleID = 'test.bc'
 source_filename = "../tests/opt/test-opt-1.c"

diff --git a/tests/opt/test-opt-2 b/tests/opt/test-opt-2
@@ -1,5 +1,5 @@
-; RUN: %clam -O0 --crab-inter --crab-dom=int --crab-track=sing-mem --crab-opt=replace-with-constants --devirt-functions=sea-dsa --crab-print-invariants=false --crab-disable-warnings "%s".c -o %s.bc
-; RUN: %llvm_dis < %s.bc | OutputCheck %s --comment=";"
+; RUN: %clam -O0 --crab-inter --crab-dom=int --crab-track=sing-mem --crab-opt=replace-with-constants --devirt-functions=sea-dsa --crab-print-invariants=false --crab-disable-warnings "%s".c -o %t.bc
+; RUN: %llvm_dis < %t.bc | OutputCheck %s --comment=";"
 
 
 ; ModuleID = 'test.bc'

diff --git a/tests/simple/test-unsigned-cmp-1.c b/tests/simple/test-unsigned-cmp-1.c
@@ -1,6 +1,7 @@
 #include "clam/clam.h"
 
 // RUN: %clam -O0 --inline --crab-lower-unsigned-icmp  --crab-check=assert "%s" 2>&1 | OutputCheck %s
+// RUN: %clam -O0 --inline --lower-unsigned-icmp  --crab-check=assert "%s" 2>&1 | OutputCheck %s
 // CHECK: ^2  Number of total safe checks$
 // CHECK: ^0  Number of total warning checks$
 

diff --git a/tests/simple/test-unsigned-cmp-2.c b/tests/simple/test-unsigned-cmp-2.c
@@ -1,6 +1,6 @@
-// RUN: clang -O1 -c -emit-llvm %s -o %s.bc
-// RUN: %clam --no-preprocess --crab-dom=int --crab-track=mem --crab-heap-analysis=cs-sea-dsa --crab-lower-unsigned-icmp=true --crab-check=assert %s.bc 2>&1 | OutputCheck %s
-// RUN: %clam --no-preprocess --crab-dom=int --crab-track=mem --crab-heap-analysis=cs-sea-dsa --lower-unsigned-icmp --crab-check=assert %s.bc 2>&1 | OutputCheck %s
+// RUN: clang -O1 -c -emit-llvm %s -o %t.bc
+// RUN: %clam --no-preprocess --crab-dom=int --crab-track=mem --crab-heap-analysis=cs-sea-dsa --crab-lower-unsigned-icmp=true --crab-check=assert %t.bc 2>&1 | OutputCheck %s
+// RUN: %clam --no-preprocess --crab-dom=int --crab-track=mem --crab-heap-analysis=cs-sea-dsa --lower-unsigned-icmp --crab-check=assert %t.bc 2>&1 | OutputCheck %s
 // CHECK: ^0  Number of total safe checks$
 // CHECK: ^0  Number of total error checks$
 // CHECK: ^1  Number of total warning checks$

diff --git a/tests/simple/test-unsigned-cmp-3.c b/tests/simple/test-unsigned-cmp-3.c
@@ -1,6 +1,6 @@
-// RUN: clang -O1 -c -emit-llvm %s -o %s.bc
-// RUN: %clam --no-preprocess --crab-dom=zones --crab-track=mem --crab-heap-analysis=cs-sea-dsa --crab-lower-unsigned-icmp=true --crab-check=assert %s.bc 2>&1 | OutputCheck %s
-// RUN: %clam --no-preprocess --crab-dom=zones --crab-track=mem --crab-heap-analysis=cs-sea-dsa --lower-unsigned-icmp --crab-check=assert %s.bc 2>&1 | OutputCheck %s
+// RUN: clang -O1 -c -emit-llvm %s -o %t.bc
+// RUN: %clam --no-preprocess --crab-dom=zones --crab-track=mem --crab-heap-analysis=cs-sea-dsa --crab-lower-unsigned-icmp=true --crab-check=assert %t.bc 2>&1 | OutputCheck %s
+// RUN: %clam --no-preprocess --crab-dom=zones --crab-track=mem --crab-heap-analysis=cs-sea-dsa --lower-unsigned-icmp --crab-check=assert %t.bc 2>&1 | OutputCheck %s
 // CHECK: ^1  Number of total safe checks$
 // CHECK: ^0  Number of total error checks$
 // CHECK: ^0  Number of total warning checks$

diff --git a/tests/simple/test-unsigned-cmp-4.c b/tests/simple/test-unsigned-cmp-4.c
@@ -1,6 +1,6 @@
-// RUN: clang -O1 -c -emit-llvm %s -o %s.bc
-// RUN: %clam --no-preprocess --crab-dom=zones --crab-track=mem --crab-heap-analysis=cs-sea-dsa --crab-lower-unsigned-icmp=true --crab-check=assert %s.bc 2>&1 | OutputCheck %s
-// RUN: %clam --no-preprocess --crab-dom=zones --crab-track=mem --crab-heap-analysis=cs-sea-dsa --lower-unsigned-icmp --crab-check=assert %s.bc 2>&1 | OutputCheck %s
+// RUN: clang -O1 -c -emit-llvm %s -o %t.bc
+// RUN: %clam --no-preprocess --crab-dom=zones --crab-track=mem --crab-heap-analysis=cs-sea-dsa --crab-lower-unsigned-icmp=true --crab-check=assert %t.bc 2>&1 | OutputCheck %s
+// RUN: %clam --no-preprocess --crab-dom=zones --crab-track=mem --crab-heap-analysis=cs-sea-dsa --lower-unsigned-icmp --crab-check=assert %t.bc 2>&1 | OutputCheck %s
 // CHECK: ^0  Number of total safe checks$
 // CHECK: ^0  Number of total error checks$
 // CHECK: ^1  Number of total warning checks$