From 4a05f3387d64946ddbc6f7b6f0bc3608a60a3344 Mon Sep 17 00:00:00 2001
From: Anthony Canino <anthony.canino1@gmail.com>
Date: Sun, 19 Jan 2020 23:40:16 -0500
Subject: [PATCH] Test case adjustment.

---
 ex2/test/Makefile  | 2 +-
 ex2/test/simple0.c | 4 ++--
 ex2/test/simple1.c | 3 +--
 ex2/test/simple2.c | 9 +++++++++
 4 files changed, 13 insertions(+), 5 deletions(-)
 create mode 100644 ex2/test/simple2.c

diff --git a/ex2/test/Makefile b/ex2/test/Makefile
index 2c2210b..e9647a1 100644
--- a/ex2/test/Makefile
+++ b/ex2/test/Makefile
@@ -1,6 +1,6 @@
 .PRECIOUS: %.ll %.instrumented.ll
 
-TARGETS=simple0 simple1 branch0 branch1 branch2 infeasable
+TARGETS=simple0 simple1 simple2 branch0 branch1 branch2 infeasable
 
 all: ${TARGETS}
 
diff --git a/ex2/test/simple0.c b/ex2/test/simple0.c
index 9fcb4a3..4ec64d2 100644
--- a/ex2/test/simple0.c
+++ b/ex2/test/simple0.c
@@ -3,7 +3,7 @@
 #include "../include/Runtime.h"
 
 int main() {
-  int x; DSE_Input(x);
-  x = x + 1;
+  int x = 1;
+  int y = x;
   return 0;
 }
diff --git a/ex2/test/simple1.c b/ex2/test/simple1.c
index 1bc3017..33a623d 100644
--- a/ex2/test/simple1.c
+++ b/ex2/test/simple1.c
@@ -4,7 +4,6 @@
 
 int main() {
   int x; DSE_Input(x);
-  int y; DSE_Input(y);
-  int z = x / y;
+  int y = x;
   return 0;
 }
diff --git a/ex2/test/simple2.c b/ex2/test/simple2.c
new file mode 100644
index 0000000..33a623d
--- /dev/null
+++ b/ex2/test/simple2.c
@@ -0,0 +1,9 @@
+#include <stdio.h>
+
+#include "../include/Runtime.h"
+
+int main() {
+  int x; DSE_Input(x);
+  int y = x;
+  return 0;
+}