From d6f9a8684a8bb0d8352b43a8bff8289d648a4c0c Mon Sep 17 00:00:00 2001
From: ayrton <achilibe@ualberta.ca>
Date: Tue, 21 Nov 2023 10:34:24 -0700
Subject: [PATCH] Added future tests (failing with TODO)

Took 15 minutes
---
 README.md                |  9 ++++-----
 test/test_correctness.py | 37 +++++++++++++++++++++++++++++++++++++
 2 files changed, 41 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index e097c2e..da41561 100644
--- a/README.md
+++ b/README.md
@@ -4,24 +4,23 @@ This is a hecking fuzzer. It does the thing.
 
 ## Requirements
 - Python 3.11
-- ISLa Solver (`pip install isla-solver`)
 - English Words (`pip install english-words`) (so that you don't have an anurism while reading random names)
 
 ## Usage
 
 ```
-usage: gazprea_fuzzer.py [-h] [-b BATCH] [--seed SEED] config_file
+usage: gazprea_fuzzer.py [-h] [-b BATCH_SIZE] [--seed SEED] config_file file_name
 
 Procedurally generate a test case for Gazprea
 
 positional arguments:
   config_file           path to your configuration file
+  file_name             name for the generated files
 
 options:
   -h, --help            show this help message and exit
-  -b BATCH, --batch BATCH
-                        generate SIZE cases (fuzzer/input/nameX.in,
-                        /instream/..., /outputs/...)
+  -b BATCH_SIZE, --batch_size BATCH_SIZE
+                        generate BATCH cases (fuzzer/source/nameX.in, /instream/..., /outputs/...)
   --seed SEED           rng seed
 ```
 
diff --git a/test/test_correctness.py b/test/test_correctness.py
index c4ec682..55e6d9d 100644
--- a/test/test_correctness.py
+++ b/test/test_correctness.py
@@ -156,5 +156,42 @@ class TestCorrectness(unittest.TestCase):
             print(self.python_unparser.source)
             self.fail(e)
 
+    def test_no_infinite_loops(self):
+        self.fail("TODO")
+
+    def test_infinite_loops_with_break_terminate(self):
+        self.fail("TODO")
+
+    def test_builtins(self):
+        self.fail("TODO")
+
+    def test_all_vars_get_printed(self):
+        self.fail("TODO")
+
+class TestTypeCorrectness(unittest.TestCase):
+    def test_int_expr_correctness(self):
+        self.fail("TODO")
+
+    def test_float_expr_correctness(self):
+        self.fail("TODO")
+
+    def test_char_expr_correctness(self):
+        self.fail("TODO")
+
+    def test_bool_expr_correctness(self):
+        self.fail("TODO")
+
+    def test_tuple_expr_correctness(self):
+        self.fail("TODO")
+
+    def test_vector_expr_correctness(self):
+        self.fail("TODO")
+
+    def test_matrix_expr_correctness(self):
+        self.fail("TODO")
+
+    def test_iterable_expr_correctness(self):
+        self.fail("TODO")
+
 if __name__ == '__main__':
     unittest.main()