Streamline test cases.

Author: anthonycanino1

.gitignore

@@ -28,3 +28,6 @@ fuzz2
 .*.swp
 .ycm_extra_conf.py
 compile_commands.json
+
+# Our solutions
+soln

ex2/test/simple0.c

@@ -3,11 +3,7 @@
 #include "../include/Runtime.h"
 
 int main() {
-  int x;
-  DSE_Input(x);
-  int y = x;
-  if (y == 1024) {
-    int z = 4 / (y - 1024);
-  }
+  int x; DSE_Input(x);
+  x = x + 1;
   return 0;
 }

ex2/test/simple1.c

@@ -3,14 +3,8 @@
 #include "../include/Runtime.h"
 
 int main() {
-  int x;
-  DSE_Input(x);
-  int y;
-  DSE_Input(y);
-  if (x < 0) {
-    if (y == 1024) {
-      int z = 4 / (y - 1024);
-    }
-  }
+  int x; DSE_Input(x);
+  int y; DSE_Input(y);
+  int z = x / y;
   return 0;
 }