Add test for issue #521.

GaloisInc · Oct 17, 2019 · 10c9242 · 10c9242
1 parent 2ec450d
commit 10c9242
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 0 deletions.
diff --git a/intTests/test_issue521/ptr.bc b/intTests/test_issue521/ptr.bc
diff --git a/intTests/test_issue521/ptr.c b/intTests/test_issue521/ptr.c
@@ -0,0 +1,3 @@
+unsigned int add(unsigned int *x, unsigned int *y) {
+    return *x + *y;
+}
diff --git a/intTests/test_issue521/test.saw b/intTests/test_issue521/test.saw
@@ -0,0 +1,2 @@
+m <- llvm_load_module "ptr.bc";
+fails (crucible_llvm_extract m "add");
diff --git a/intTests/test_issue521/test.sh b/intTests/test_issue521/test.sh
@@ -0,0 +1,3 @@
+set -e
+
+$SAW test.saw
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		m <- llvm_load_module "ptr.bc";
		fails (crucible_llvm_extract m "add");