Added future tests (failing with TODO)

Took 15 minutes

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
 ```
 

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()