review changes

OCamlPro · Aug 9, 2024 · 376b485 · 376b485
1 parent 89768d7
commit 376b485
Show file tree

Hide file tree

Showing 1,854 changed files with 46 additions and 33 deletions.
diff --git a/dune b/dune
@@ -0,0 +1,9 @@
+(subdir run
+  (dynamic_include ../gentest/dune.inc))
+
+(subdir gentest
+  (rule
+   (deps (source_tree ../tests))
+   (action
+    (with-stdout-to dune.inc (run ../tools/gentest.exe ../tests)))))
+
diff --git a/tests/input/ac/testfile-ac_arith001.ae → tests/ac/testfile-ac_arith001.ae b/tests/input/ac/testfile-ac_arith001.ae → tests/ac/testfile-ac_arith001.ae
diff --git a/tests/input/ac/testfile-ac_arith001.expected → tests/ac/testfile-ac_arith001.expected b/tests/input/ac/testfile-ac_arith001.expected → tests/ac/testfile-ac_arith001.expected
diff --git a/tests/input/ac/testfile-ac_arith002.ae → tests/ac/testfile-ac_arith002.ae b/tests/input/ac/testfile-ac_arith002.ae → tests/ac/testfile-ac_arith002.ae
diff --git a/tests/input/ac/testfile-ac_arith002.expected → tests/ac/testfile-ac_arith002.expected b/tests/input/ac/testfile-ac_arith002.expected → tests/ac/testfile-ac_arith002.expected
diff --git a/tests/input/ac/testfile-ac_arith003.ae → tests/ac/testfile-ac_arith003.ae b/tests/input/ac/testfile-ac_arith003.ae → tests/ac/testfile-ac_arith003.ae
diff --git a/tests/input/ac/testfile-ac_arith003.expected → tests/ac/testfile-ac_arith003.expected b/tests/input/ac/testfile-ac_arith003.expected → tests/ac/testfile-ac_arith003.expected
diff --git a/tests/input/ac/testfile-ac_arith004.ae → tests/ac/testfile-ac_arith004.ae b/tests/input/ac/testfile-ac_arith004.ae → tests/ac/testfile-ac_arith004.ae
diff --git a/tests/input/ac/testfile-ac_arith004.expected → tests/ac/testfile-ac_arith004.expected b/tests/input/ac/testfile-ac_arith004.expected → tests/ac/testfile-ac_arith004.expected
diff --git a/tests/input/ac/testfile-ac_arith005.ae → tests/ac/testfile-ac_arith005.ae b/tests/input/ac/testfile-ac_arith005.ae → tests/ac/testfile-ac_arith005.ae
diff --git a/tests/input/ac/testfile-ac_arith005.expected → tests/ac/testfile-ac_arith005.expected b/tests/input/ac/testfile-ac_arith005.expected → tests/ac/testfile-ac_arith005.expected
diff --git a/tests/input/ac/testfile-ac_arith006.ae → tests/ac/testfile-ac_arith006.ae b/tests/input/ac/testfile-ac_arith006.ae → tests/ac/testfile-ac_arith006.ae
diff --git a/tests/input/ac/testfile-ac_arith006.expected → tests/ac/testfile-ac_arith006.expected b/tests/input/ac/testfile-ac_arith006.expected → tests/ac/testfile-ac_arith006.expected
diff --git a/tests/input/ac/testfile-ac_arith007.ae → tests/ac/testfile-ac_arith007.ae b/tests/input/ac/testfile-ac_arith007.ae → tests/ac/testfile-ac_arith007.ae
diff --git a/tests/input/ac/testfile-ac_arith007.expected → tests/ac/testfile-ac_arith007.expected b/tests/input/ac/testfile-ac_arith007.expected → tests/ac/testfile-ac_arith007.expected
diff --git a/tests/input/ac/testfile-ac_arith008.ae → tests/ac/testfile-ac_arith008.ae b/tests/input/ac/testfile-ac_arith008.ae → tests/ac/testfile-ac_arith008.ae
diff --git a/tests/input/ac/testfile-ac_arith008.expected → tests/ac/testfile-ac_arith008.expected b/tests/input/ac/testfile-ac_arith008.expected → tests/ac/testfile-ac_arith008.expected
diff --git a/tests/input/ac/testfile-ac_arith009.ae → tests/ac/testfile-ac_arith009.ae b/tests/input/ac/testfile-ac_arith009.ae → tests/ac/testfile-ac_arith009.ae
diff --git a/tests/input/ac/testfile-ac_arith009.expected → tests/ac/testfile-ac_arith009.expected b/tests/input/ac/testfile-ac_arith009.expected → tests/ac/testfile-ac_arith009.expected
diff --git a/tests/input/ac/testfile-ac_arith010.ae → tests/ac/testfile-ac_arith010.ae b/tests/input/ac/testfile-ac_arith010.ae → tests/ac/testfile-ac_arith010.ae
diff --git a/tests/input/ac/testfile-ac_arith010.expected → tests/ac/testfile-ac_arith010.expected b/tests/input/ac/testfile-ac_arith010.expected → tests/ac/testfile-ac_arith010.expected
diff --git a/tests/input/ac/testfile-ac_arith011.ae → tests/ac/testfile-ac_arith011.ae b/tests/input/ac/testfile-ac_arith011.ae → tests/ac/testfile-ac_arith011.ae
diff --git a/tests/input/ac/testfile-ac_arith011.expected → tests/ac/testfile-ac_arith011.expected b/tests/input/ac/testfile-ac_arith011.expected → tests/ac/testfile-ac_arith011.expected
diff --git a/tests/input/ac/testfile-ac_arith012.ae → tests/ac/testfile-ac_arith012.ae b/tests/input/ac/testfile-ac_arith012.ae → tests/ac/testfile-ac_arith012.ae
diff --git a/tests/input/ac/testfile-ac_arith012.expected → tests/ac/testfile-ac_arith012.expected b/tests/input/ac/testfile-ac_arith012.expected → tests/ac/testfile-ac_arith012.expected
diff --git a/tests/input/ac/testfile-ac_arith013.ae → tests/ac/testfile-ac_arith013.ae b/tests/input/ac/testfile-ac_arith013.ae → tests/ac/testfile-ac_arith013.ae
diff --git a/tests/input/ac/testfile-ac_arith013.expected → tests/ac/testfile-ac_arith013.expected b/tests/input/ac/testfile-ac_arith013.expected → tests/ac/testfile-ac_arith013.expected
diff --git a/tests/input/ac/testfile-ac_arith014.ae → tests/ac/testfile-ac_arith014.ae b/tests/input/ac/testfile-ac_arith014.ae → tests/ac/testfile-ac_arith014.ae
diff --git a/tests/input/ac/testfile-ac_arith014.expected → tests/ac/testfile-ac_arith014.expected b/tests/input/ac/testfile-ac_arith014.expected → tests/ac/testfile-ac_arith014.expected
diff --git a/tests/input/ac/testfile-ac_arith015.ae → tests/ac/testfile-ac_arith015.ae b/tests/input/ac/testfile-ac_arith015.ae → tests/ac/testfile-ac_arith015.ae
diff --git a/tests/input/ac/testfile-ac_arith015.expected → tests/ac/testfile-ac_arith015.expected b/tests/input/ac/testfile-ac_arith015.expected → tests/ac/testfile-ac_arith015.expected
diff --git a/tests/input/ac/testfile-ac_arith016.ae → tests/ac/testfile-ac_arith016.ae b/tests/input/ac/testfile-ac_arith016.ae → tests/ac/testfile-ac_arith016.ae
diff --git a/tests/input/ac/testfile-ac_arith016.expected → tests/ac/testfile-ac_arith016.expected b/tests/input/ac/testfile-ac_arith016.expected → tests/ac/testfile-ac_arith016.expected
diff --git a/tests/input/ac/testfile-ac_arith017.ae → tests/ac/testfile-ac_arith017.ae b/tests/input/ac/testfile-ac_arith017.ae → tests/ac/testfile-ac_arith017.ae
diff --git a/tests/input/ac/testfile-ac_arith017.expected → tests/ac/testfile-ac_arith017.expected b/tests/input/ac/testfile-ac_arith017.expected → tests/ac/testfile-ac_arith017.expected
diff --git a/tests/input/ac/testfile-ac_arith018.ae → tests/ac/testfile-ac_arith018.ae b/tests/input/ac/testfile-ac_arith018.ae → tests/ac/testfile-ac_arith018.ae
diff --git a/tests/input/ac/testfile-ac_arith018.expected → tests/ac/testfile-ac_arith018.expected b/tests/input/ac/testfile-ac_arith018.expected → tests/ac/testfile-ac_arith018.expected
diff --git a/tests/input/ac/testfile-ac_arith019.ae → tests/ac/testfile-ac_arith019.ae b/tests/input/ac/testfile-ac_arith019.ae → tests/ac/testfile-ac_arith019.ae
diff --git a/tests/input/ac/testfile-ac_arith019.expected → tests/ac/testfile-ac_arith019.expected b/tests/input/ac/testfile-ac_arith019.expected → tests/ac/testfile-ac_arith019.expected
diff --git a/tests/input/ac/testfile-ac_arith020.ae → tests/ac/testfile-ac_arith020.ae b/tests/input/ac/testfile-ac_arith020.ae → tests/ac/testfile-ac_arith020.ae
diff --git a/tests/input/ac/testfile-ac_arith020.expected → tests/ac/testfile-ac_arith020.expected b/tests/input/ac/testfile-ac_arith020.expected → tests/ac/testfile-ac_arith020.expected
diff --git a/tests/input/ac/testfile-ac_arith021.ae → tests/ac/testfile-ac_arith021.ae b/tests/input/ac/testfile-ac_arith021.ae → tests/ac/testfile-ac_arith021.ae
diff --git a/tests/input/ac/testfile-ac_arith021.expected → tests/ac/testfile-ac_arith021.expected b/tests/input/ac/testfile-ac_arith021.expected → tests/ac/testfile-ac_arith021.expected
diff --git a/tests/input/ac/testfile-ac_arith022.ae → tests/ac/testfile-ac_arith022.ae b/tests/input/ac/testfile-ac_arith022.ae → tests/ac/testfile-ac_arith022.ae
diff --git a/tests/input/ac/testfile-ac_arith022.expected → tests/ac/testfile-ac_arith022.expected b/tests/input/ac/testfile-ac_arith022.expected → tests/ac/testfile-ac_arith022.expected
diff --git a/tests/input/ac/testfile-ac_arith023.ae → tests/ac/testfile-ac_arith023.ae b/tests/input/ac/testfile-ac_arith023.ae → tests/ac/testfile-ac_arith023.ae
diff --git a/tests/input/ac/testfile-ac_arith023.expected → tests/ac/testfile-ac_arith023.expected b/tests/input/ac/testfile-ac_arith023.expected → tests/ac/testfile-ac_arith023.expected
diff --git a/tests/input/ac/testfile-ac_arith024.ae → tests/ac/testfile-ac_arith024.ae b/tests/input/ac/testfile-ac_arith024.ae → tests/ac/testfile-ac_arith024.ae
diff --git a/tests/input/ac/testfile-ac_arith024.expected → tests/ac/testfile-ac_arith024.expected b/tests/input/ac/testfile-ac_arith024.expected → tests/ac/testfile-ac_arith024.expected
diff --git a/tests/input/ac/testfile-ac_arith025.ae → tests/ac/testfile-ac_arith025.ae b/tests/input/ac/testfile-ac_arith025.ae → tests/ac/testfile-ac_arith025.ae
diff --git a/tests/input/ac/testfile-ac_arith025.expected → tests/ac/testfile-ac_arith025.expected b/tests/input/ac/testfile-ac_arith025.expected → tests/ac/testfile-ac_arith025.expected
diff --git a/tests/input/ac/testfile-ac_arith026.ae → tests/ac/testfile-ac_arith026.ae b/tests/input/ac/testfile-ac_arith026.ae → tests/ac/testfile-ac_arith026.ae
diff --git a/tests/input/ac/testfile-ac_arith026.expected → tests/ac/testfile-ac_arith026.expected b/tests/input/ac/testfile-ac_arith026.expected → tests/ac/testfile-ac_arith026.expected
diff --git a/tests/input/ac/testfile-ac_arith027.ae → tests/ac/testfile-ac_arith027.ae b/tests/input/ac/testfile-ac_arith027.ae → tests/ac/testfile-ac_arith027.ae
diff --git a/tests/input/ac/testfile-ac_arith027.expected → tests/ac/testfile-ac_arith027.expected b/tests/input/ac/testfile-ac_arith027.expected → tests/ac/testfile-ac_arith027.expected
diff --git a/tests/input/ac/testfile-ac_arith028.ae → tests/ac/testfile-ac_arith028.ae b/tests/input/ac/testfile-ac_arith028.ae → tests/ac/testfile-ac_arith028.ae
diff --git a/tests/input/ac/testfile-ac_arith028.expected → tests/ac/testfile-ac_arith028.expected b/tests/input/ac/testfile-ac_arith028.expected → tests/ac/testfile-ac_arith028.expected
diff --git a/tests/input/ac/testfile-ac_arith029.ae → tests/ac/testfile-ac_arith029.ae b/tests/input/ac/testfile-ac_arith029.ae → tests/ac/testfile-ac_arith029.ae
diff --git a/tests/input/ac/testfile-ac_arith029.expected → tests/ac/testfile-ac_arith029.expected b/tests/input/ac/testfile-ac_arith029.expected → tests/ac/testfile-ac_arith029.expected
diff --git a/tests/input/ac/testfile-ac_arith030.ae → tests/ac/testfile-ac_arith030.ae b/tests/input/ac/testfile-ac_arith030.ae → tests/ac/testfile-ac_arith030.ae
diff --git a/tests/input/ac/testfile-ac_arith030.expected → tests/ac/testfile-ac_arith030.expected b/tests/input/ac/testfile-ac_arith030.expected → tests/ac/testfile-ac_arith030.expected
diff --git a/tests/input/ac/testfile-ac_arith031.ae → tests/ac/testfile-ac_arith031.ae b/tests/input/ac/testfile-ac_arith031.ae → tests/ac/testfile-ac_arith031.ae
diff --git a/tests/input/ac/testfile-ac_arith031.expected → tests/ac/testfile-ac_arith031.expected b/tests/input/ac/testfile-ac_arith031.expected → tests/ac/testfile-ac_arith031.expected
diff --git a/tests/input/ac/testfile-ac_arith032.ae → tests/ac/testfile-ac_arith032.ae b/tests/input/ac/testfile-ac_arith032.ae → tests/ac/testfile-ac_arith032.ae
diff --git a/tests/input/ac/testfile-ac_arith032.expected → tests/ac/testfile-ac_arith032.expected b/tests/input/ac/testfile-ac_arith032.expected → tests/ac/testfile-ac_arith032.expected
diff --git a/tests/input/ac/testfile-ac_arith033.ae → tests/ac/testfile-ac_arith033.ae b/tests/input/ac/testfile-ac_arith033.ae → tests/ac/testfile-ac_arith033.ae
diff --git a/tests/input/ac/testfile-ac_arith033.expected → tests/ac/testfile-ac_arith033.expected b/tests/input/ac/testfile-ac_arith033.expected → tests/ac/testfile-ac_arith033.expected
diff --git a/tests/input/ac/testfile-ac_arith034.ae → tests/ac/testfile-ac_arith034.ae b/tests/input/ac/testfile-ac_arith034.ae → tests/ac/testfile-ac_arith034.ae
diff --git a/tests/input/ac/testfile-ac_arith034.expected → tests/ac/testfile-ac_arith034.expected b/tests/input/ac/testfile-ac_arith034.expected → tests/ac/testfile-ac_arith034.expected
diff --git a/tests/input/ac/testfile-ac_arith035.ae → tests/ac/testfile-ac_arith035.ae b/tests/input/ac/testfile-ac_arith035.ae → tests/ac/testfile-ac_arith035.ae
diff --git a/tests/input/ac/testfile-ac_arith035.expected → tests/ac/testfile-ac_arith035.expected b/tests/input/ac/testfile-ac_arith035.expected → tests/ac/testfile-ac_arith035.expected
diff --git a/tests/input/ac/testfile-ac_arith036.ae → tests/ac/testfile-ac_arith036.ae b/tests/input/ac/testfile-ac_arith036.ae → tests/ac/testfile-ac_arith036.ae
diff --git a/tests/input/ac/testfile-ac_arith036.expected → tests/ac/testfile-ac_arith036.expected b/tests/input/ac/testfile-ac_arith036.expected → tests/ac/testfile-ac_arith036.expected
diff --git a/tests/input/ac/testfile-ac_arith037.ae → tests/ac/testfile-ac_arith037.ae b/tests/input/ac/testfile-ac_arith037.ae → tests/ac/testfile-ac_arith037.ae
diff --git a/tests/input/ac/testfile-ac_arith037.expected → tests/ac/testfile-ac_arith037.expected b/tests/input/ac/testfile-ac_arith037.expected → tests/ac/testfile-ac_arith037.expected
diff --git a/tests/input/ac/testfile-ac_arith038.ae → tests/ac/testfile-ac_arith038.ae b/tests/input/ac/testfile-ac_arith038.ae → tests/ac/testfile-ac_arith038.ae
diff --git a/tests/input/ac/testfile-ac_arith038.expected → tests/ac/testfile-ac_arith038.expected b/tests/input/ac/testfile-ac_arith038.expected → tests/ac/testfile-ac_arith038.expected
diff --git a/tests/input/ac/testfile-ac_arith039.ae → tests/ac/testfile-ac_arith039.ae b/tests/input/ac/testfile-ac_arith039.ae → tests/ac/testfile-ac_arith039.ae
diff --git a/tests/input/ac/testfile-ac_arith039.expected → tests/ac/testfile-ac_arith039.expected b/tests/input/ac/testfile-ac_arith039.expected → tests/ac/testfile-ac_arith039.expected
diff --git a/tests/input/ac/testfile-ac_arith040.ae → tests/ac/testfile-ac_arith040.ae b/tests/input/ac/testfile-ac_arith040.ae → tests/ac/testfile-ac_arith040.ae
diff --git a/tests/input/ac/testfile-ac_arith040.expected → tests/ac/testfile-ac_arith040.expected b/tests/input/ac/testfile-ac_arith040.expected → tests/ac/testfile-ac_arith040.expected
diff --git a/tests/input/ac/testfile-ac_arith041.ae → tests/ac/testfile-ac_arith041.ae b/tests/input/ac/testfile-ac_arith041.ae → tests/ac/testfile-ac_arith041.ae
diff --git a/tests/input/ac/testfile-ac_arith041.expected → tests/ac/testfile-ac_arith041.expected b/tests/input/ac/testfile-ac_arith041.expected → tests/ac/testfile-ac_arith041.expected
diff --git a/tests/input/ac/testfile-ac_arith042.ae → tests/ac/testfile-ac_arith042.ae b/tests/input/ac/testfile-ac_arith042.ae → tests/ac/testfile-ac_arith042.ae
diff --git a/tests/input/ac/testfile-ac_arith042.expected → tests/ac/testfile-ac_arith042.expected b/tests/input/ac/testfile-ac_arith042.expected → tests/ac/testfile-ac_arith042.expected
diff --git a/tests/input/ac/testfile-ac_arith043.ae → tests/ac/testfile-ac_arith043.ae b/tests/input/ac/testfile-ac_arith043.ae → tests/ac/testfile-ac_arith043.ae
diff --git a/tests/input/ac/testfile-ac_arith043.expected → tests/ac/testfile-ac_arith043.expected b/tests/input/ac/testfile-ac_arith043.expected → tests/ac/testfile-ac_arith043.expected
diff --git a/tests/input/ac/testfile-ac_arith044.ae → tests/ac/testfile-ac_arith044.ae b/tests/input/ac/testfile-ac_arith044.ae → tests/ac/testfile-ac_arith044.ae
diff --git a/tests/input/ac/testfile-ac_arith044.expected → tests/ac/testfile-ac_arith044.expected b/tests/input/ac/testfile-ac_arith044.expected → tests/ac/testfile-ac_arith044.expected
diff --git a/tests/input/ac/testfile-ac_arith045.ae → tests/ac/testfile-ac_arith045.ae b/tests/input/ac/testfile-ac_arith045.ae → tests/ac/testfile-ac_arith045.ae
diff --git a/tests/input/ac/testfile-ac_arith045.expected → tests/ac/testfile-ac_arith045.expected b/tests/input/ac/testfile-ac_arith045.expected → tests/ac/testfile-ac_arith045.expected
diff --git a/tests/input/ac/testfile-ac_arith046.ae → tests/ac/testfile-ac_arith046.ae b/tests/input/ac/testfile-ac_arith046.ae → tests/ac/testfile-ac_arith046.ae
diff --git a/tests/input/ac/testfile-ac_arith046.expected → tests/ac/testfile-ac_arith046.expected b/tests/input/ac/testfile-ac_arith046.expected → tests/ac/testfile-ac_arith046.expected
diff --git a/tests/input/ac/testfile-ac_arith047.ae → tests/ac/testfile-ac_arith047.ae b/tests/input/ac/testfile-ac_arith047.ae → tests/ac/testfile-ac_arith047.ae
diff --git a/tests/input/ac/testfile-ac_arith047.expected → tests/ac/testfile-ac_arith047.expected b/tests/input/ac/testfile-ac_arith047.expected → tests/ac/testfile-ac_arith047.expected
diff --git a/tests/input/ac/testfile-ac_arith048.ae → tests/ac/testfile-ac_arith048.ae b/tests/input/ac/testfile-ac_arith048.ae → tests/ac/testfile-ac_arith048.ae
diff --git a/tests/input/ac/testfile-ac_arith048.expected → tests/ac/testfile-ac_arith048.expected b/tests/input/ac/testfile-ac_arith048.expected → tests/ac/testfile-ac_arith048.expected
diff --git a/tests/input/ac/testfile-ac_arith049.ae → tests/ac/testfile-ac_arith049.ae b/tests/input/ac/testfile-ac_arith049.ae → tests/ac/testfile-ac_arith049.ae
diff --git a/tests/input/ac/testfile-ac_arith049.expected → tests/ac/testfile-ac_arith049.expected b/tests/input/ac/testfile-ac_arith049.expected → tests/ac/testfile-ac_arith049.expected
diff --git a/tests/input/ac/testfile-ac_arith050.ae → tests/ac/testfile-ac_arith050.ae b/tests/input/ac/testfile-ac_arith050.ae → tests/ac/testfile-ac_arith050.ae
diff --git a/tests/input/ac/testfile-ac_arith050.expected → tests/ac/testfile-ac_arith050.expected b/tests/input/ac/testfile-ac_arith050.expected → tests/ac/testfile-ac_arith050.expected
diff --git a/tests/input/ac/testfile-ac_arith051.ae → tests/ac/testfile-ac_arith051.ae b/tests/input/ac/testfile-ac_arith051.ae → tests/ac/testfile-ac_arith051.ae
diff --git a/tests/input/ac/testfile-ac_arith051.expected → tests/ac/testfile-ac_arith051.expected b/tests/input/ac/testfile-ac_arith051.expected → tests/ac/testfile-ac_arith051.expected
diff --git a/tests/input/ac/testfile-ac_arith052.ae → tests/ac/testfile-ac_arith052.ae b/tests/input/ac/testfile-ac_arith052.ae → tests/ac/testfile-ac_arith052.ae
diff --git a/tests/input/ac/testfile-ac_arith052.expected → tests/ac/testfile-ac_arith052.expected b/tests/input/ac/testfile-ac_arith052.expected → tests/ac/testfile-ac_arith052.expected
diff --git a/tests/input/ac/testfile-ac_arith053.ae → tests/ac/testfile-ac_arith053.ae b/tests/input/ac/testfile-ac_arith053.ae → tests/ac/testfile-ac_arith053.ae
diff --git a/tests/input/ac/testfile-ac_arith053.expected → tests/ac/testfile-ac_arith053.expected b/tests/input/ac/testfile-ac_arith053.expected → tests/ac/testfile-ac_arith053.expected
diff --git a/tests/input/ac/testfile-ac_arith054.ae → tests/ac/testfile-ac_arith054.ae b/tests/input/ac/testfile-ac_arith054.ae → tests/ac/testfile-ac_arith054.ae
diff --git a/tests/input/ac/testfile-ac_arith054.expected → tests/ac/testfile-ac_arith054.expected b/tests/input/ac/testfile-ac_arith054.expected → tests/ac/testfile-ac_arith054.expected
diff --git a/tests/input/ac/testfile-ac_arith055.ae → tests/ac/testfile-ac_arith055.ae b/tests/input/ac/testfile-ac_arith055.ae → tests/ac/testfile-ac_arith055.ae
diff --git a/tests/input/ac/testfile-ac_arith055.expected → tests/ac/testfile-ac_arith055.expected b/tests/input/ac/testfile-ac_arith055.expected → tests/ac/testfile-ac_arith055.expected
diff --git a/tests/input/ac/testfile-ac_arith056.ae → tests/ac/testfile-ac_arith056.ae b/tests/input/ac/testfile-ac_arith056.ae → tests/ac/testfile-ac_arith056.ae
diff --git a/tests/input/ac/testfile-ac_arith056.expected → tests/ac/testfile-ac_arith056.expected b/tests/input/ac/testfile-ac_arith056.expected → tests/ac/testfile-ac_arith056.expected
diff --git a/tests/input/ac/testfile-ac_arith057.ae → tests/ac/testfile-ac_arith057.ae b/tests/input/ac/testfile-ac_arith057.ae → tests/ac/testfile-ac_arith057.ae
diff --git a/tests/input/ac/testfile-ac_arith057.expected → tests/ac/testfile-ac_arith057.expected b/tests/input/ac/testfile-ac_arith057.expected → tests/ac/testfile-ac_arith057.expected
diff --git a/tests/input/ac/testfile-ac_arith059.ae → tests/ac/testfile-ac_arith059.ae b/tests/input/ac/testfile-ac_arith059.ae → tests/ac/testfile-ac_arith059.ae
diff --git a/tests/input/ac/testfile-ac_arith059.expected → tests/ac/testfile-ac_arith059.expected b/tests/input/ac/testfile-ac_arith059.expected → tests/ac/testfile-ac_arith059.expected
diff --git a/tests/input/ac/testfile-ac_empty001.ae → tests/ac/testfile-ac_empty001.ae b/tests/input/ac/testfile-ac_empty001.ae → tests/ac/testfile-ac_empty001.ae
diff --git a/tests/input/ac/testfile-ac_empty001.expected → tests/ac/testfile-ac_empty001.expected b/tests/input/ac/testfile-ac_empty001.expected → tests/ac/testfile-ac_empty001.expected
diff --git a/tests/input/ac/testfile-ac_empty002.ae → tests/ac/testfile-ac_empty002.ae b/tests/input/ac/testfile-ac_empty002.ae → tests/ac/testfile-ac_empty002.ae
diff --git a/tests/input/ac/testfile-ac_empty002.expected → tests/ac/testfile-ac_empty002.expected b/tests/input/ac/testfile-ac_empty002.expected → tests/ac/testfile-ac_empty002.expected
diff --git a/tests/input/ac/testfile-ac_empty003.ae → tests/ac/testfile-ac_empty003.ae b/tests/input/ac/testfile-ac_empty003.ae → tests/ac/testfile-ac_empty003.ae
diff --git a/tests/input/ac/testfile-ac_empty003.expected → tests/ac/testfile-ac_empty003.expected b/tests/input/ac/testfile-ac_empty003.expected → tests/ac/testfile-ac_empty003.expected
diff --git a/tests/input/ac/testfile-ac_empty004.ae → tests/ac/testfile-ac_empty004.ae b/tests/input/ac/testfile-ac_empty004.ae → tests/ac/testfile-ac_empty004.ae
diff --git a/tests/input/ac/testfile-ac_empty004.expected → tests/ac/testfile-ac_empty004.expected b/tests/input/ac/testfile-ac_empty004.expected → tests/ac/testfile-ac_empty004.expected
diff --git a/tests/input/ac/testfile-ac_empty005.ae → tests/ac/testfile-ac_empty005.ae b/tests/input/ac/testfile-ac_empty005.ae → tests/ac/testfile-ac_empty005.ae
diff --git a/tests/input/ac/testfile-ac_empty005.expected → tests/ac/testfile-ac_empty005.expected b/tests/input/ac/testfile-ac_empty005.expected → tests/ac/testfile-ac_empty005.expected
diff --git a/tests/input/ac/testfile-ac_empty006.ae → tests/ac/testfile-ac_empty006.ae b/tests/input/ac/testfile-ac_empty006.ae → tests/ac/testfile-ac_empty006.ae
diff --git a/tests/input/ac/testfile-ac_empty006.expected → tests/ac/testfile-ac_empty006.expected b/tests/input/ac/testfile-ac_empty006.expected → tests/ac/testfile-ac_empty006.expected
diff --git a/tests/input/ac/testfile-ac_empty007.ae → tests/ac/testfile-ac_empty007.ae b/tests/input/ac/testfile-ac_empty007.ae → tests/ac/testfile-ac_empty007.ae
diff --git a/tests/input/ac/testfile-ac_empty007.expected → tests/ac/testfile-ac_empty007.expected b/tests/input/ac/testfile-ac_empty007.expected → tests/ac/testfile-ac_empty007.expected
diff --git a/tests/input/ac/testfile-ac_empty008.ae → tests/ac/testfile-ac_empty008.ae b/tests/input/ac/testfile-ac_empty008.ae → tests/ac/testfile-ac_empty008.ae
diff --git a/tests/input/ac/testfile-ac_empty008.expected → tests/ac/testfile-ac_empty008.expected b/tests/input/ac/testfile-ac_empty008.expected → tests/ac/testfile-ac_empty008.expected
diff --git a/tests/input/ac/testfile-ac_empty009.ae → tests/ac/testfile-ac_empty009.ae b/tests/input/ac/testfile-ac_empty009.ae → tests/ac/testfile-ac_empty009.ae
diff --git a/tests/input/ac/testfile-ac_empty009.expected → tests/ac/testfile-ac_empty009.expected b/tests/input/ac/testfile-ac_empty009.expected → tests/ac/testfile-ac_empty009.expected
diff --git a/tests/input/ac/testfile-ac_empty010.ae → tests/ac/testfile-ac_empty010.ae b/tests/input/ac/testfile-ac_empty010.ae → tests/ac/testfile-ac_empty010.ae
diff --git a/tests/input/ac/testfile-ac_empty010.expected → tests/ac/testfile-ac_empty010.expected b/tests/input/ac/testfile-ac_empty010.expected → tests/ac/testfile-ac_empty010.expected
diff --git a/tests/input/ac/testfile-ac_empty011.ae → tests/ac/testfile-ac_empty011.ae b/tests/input/ac/testfile-ac_empty011.ae → tests/ac/testfile-ac_empty011.ae
diff --git a/tests/input/ac/testfile-ac_empty011.expected → tests/ac/testfile-ac_empty011.expected b/tests/input/ac/testfile-ac_empty011.expected → tests/ac/testfile-ac_empty011.expected
diff --git a/tests/input/ac/testfile-ac_empty012.ae → tests/ac/testfile-ac_empty012.ae b/tests/input/ac/testfile-ac_empty012.ae → tests/ac/testfile-ac_empty012.ae
diff --git a/tests/input/ac/testfile-ac_empty012.expected → tests/ac/testfile-ac_empty012.expected b/tests/input/ac/testfile-ac_empty012.expected → tests/ac/testfile-ac_empty012.expected
diff --git a/tests/input/ac/testfile-ac_empty013.ae → tests/ac/testfile-ac_empty013.ae b/tests/input/ac/testfile-ac_empty013.ae → tests/ac/testfile-ac_empty013.ae
diff --git a/tests/input/ac/testfile-ac_empty013.expected → tests/ac/testfile-ac_empty013.expected b/tests/input/ac/testfile-ac_empty013.expected → tests/ac/testfile-ac_empty013.expected
diff --git a/tests/input/ac/testfile-ac_empty014.ae → tests/ac/testfile-ac_empty014.ae b/tests/input/ac/testfile-ac_empty014.ae → tests/ac/testfile-ac_empty014.ae
diff --git a/tests/input/ac/testfile-ac_empty014.expected → tests/ac/testfile-ac_empty014.expected b/tests/input/ac/testfile-ac_empty014.expected → tests/ac/testfile-ac_empty014.expected
diff --git a/tests/input/ac/testfile-ac_empty015.ae → tests/ac/testfile-ac_empty015.ae b/tests/input/ac/testfile-ac_empty015.ae → tests/ac/testfile-ac_empty015.ae
diff --git a/tests/input/ac/testfile-ac_empty015.expected → tests/ac/testfile-ac_empty015.expected b/tests/input/ac/testfile-ac_empty015.expected → tests/ac/testfile-ac_empty015.expected
diff --git a/tests/input/ac/testfile-ac_empty016.ae → tests/ac/testfile-ac_empty016.ae b/tests/input/ac/testfile-ac_empty016.ae → tests/ac/testfile-ac_empty016.ae
diff --git a/tests/input/ac/testfile-ac_empty016.expected → tests/ac/testfile-ac_empty016.expected b/tests/input/ac/testfile-ac_empty016.expected → tests/ac/testfile-ac_empty016.expected
diff --git a/tests/input/ac/testfile-ac_empty017.ae → tests/ac/testfile-ac_empty017.ae b/tests/input/ac/testfile-ac_empty017.ae → tests/ac/testfile-ac_empty017.ae
diff --git a/tests/input/ac/testfile-ac_empty017.expected → tests/ac/testfile-ac_empty017.expected b/tests/input/ac/testfile-ac_empty017.expected → tests/ac/testfile-ac_empty017.expected
diff --git a/tests/input/ac/testfile-ac_empty018.ae → tests/ac/testfile-ac_empty018.ae b/tests/input/ac/testfile-ac_empty018.ae → tests/ac/testfile-ac_empty018.ae
diff --git a/tests/input/ac/testfile-ac_empty018.expected → tests/ac/testfile-ac_empty018.expected b/tests/input/ac/testfile-ac_empty018.expected → tests/ac/testfile-ac_empty018.expected
diff --git a/tests/input/ac/testfile-ac_empty019.ae → tests/ac/testfile-ac_empty019.ae b/tests/input/ac/testfile-ac_empty019.ae → tests/ac/testfile-ac_empty019.ae
diff --git a/tests/input/ac/testfile-ac_empty019.expected → tests/ac/testfile-ac_empty019.expected b/tests/input/ac/testfile-ac_empty019.expected → tests/ac/testfile-ac_empty019.expected
diff --git a/tests/input/ac/testfile-ac_empty020.ae → tests/ac/testfile-ac_empty020.ae b/tests/input/ac/testfile-ac_empty020.ae → tests/ac/testfile-ac_empty020.ae
diff --git a/tests/input/ac/testfile-ac_empty020.expected → tests/ac/testfile-ac_empty020.expected b/tests/input/ac/testfile-ac_empty020.expected → tests/ac/testfile-ac_empty020.expected
diff --git a/tests/input/ac/testfile-ac_empty021.ae → tests/ac/testfile-ac_empty021.ae b/tests/input/ac/testfile-ac_empty021.ae → tests/ac/testfile-ac_empty021.ae
diff --git a/tests/input/ac/testfile-ac_empty021.expected → tests/ac/testfile-ac_empty021.expected b/tests/input/ac/testfile-ac_empty021.expected → tests/ac/testfile-ac_empty021.expected
diff --git a/tests/input/ac/testfile-ac_empty022.ae → tests/ac/testfile-ac_empty022.ae b/tests/input/ac/testfile-ac_empty022.ae → tests/ac/testfile-ac_empty022.ae
diff --git a/tests/input/ac/testfile-ac_empty022.expected → tests/ac/testfile-ac_empty022.expected b/tests/input/ac/testfile-ac_empty022.expected → tests/ac/testfile-ac_empty022.expected
diff --git a/tests/input/ac/testfile-ac_empty023.ae → tests/ac/testfile-ac_empty023.ae b/tests/input/ac/testfile-ac_empty023.ae → tests/ac/testfile-ac_empty023.ae
diff --git a/tests/input/ac/testfile-ac_empty023.expected → tests/ac/testfile-ac_empty023.expected b/tests/input/ac/testfile-ac_empty023.expected → tests/ac/testfile-ac_empty023.expected
diff --git a/tests/input/ac/testfile-ac_empty024.ae → tests/ac/testfile-ac_empty024.ae b/tests/input/ac/testfile-ac_empty024.ae → tests/ac/testfile-ac_empty024.ae
diff --git a/tests/input/ac/testfile-ac_empty024.expected → tests/ac/testfile-ac_empty024.expected b/tests/input/ac/testfile-ac_empty024.expected → tests/ac/testfile-ac_empty024.expected
diff --git a/tests/input/ac/testfile-ac_empty025.ae → tests/ac/testfile-ac_empty025.ae b/tests/input/ac/testfile-ac_empty025.ae → tests/ac/testfile-ac_empty025.ae
diff --git a/tests/input/ac/testfile-ac_empty025.expected → tests/ac/testfile-ac_empty025.expected b/tests/input/ac/testfile-ac_empty025.expected → tests/ac/testfile-ac_empty025.expected
diff --git a/tests/input/ac/testfile-ac_empty026.ae → tests/ac/testfile-ac_empty026.ae b/tests/input/ac/testfile-ac_empty026.ae → tests/ac/testfile-ac_empty026.ae
diff --git a/tests/input/ac/testfile-ac_empty026.expected → tests/ac/testfile-ac_empty026.expected b/tests/input/ac/testfile-ac_empty026.expected → tests/ac/testfile-ac_empty026.expected
diff --git a/tests/input/ac/testfile-ac_empty027.ae → tests/ac/testfile-ac_empty027.ae b/tests/input/ac/testfile-ac_empty027.ae → tests/ac/testfile-ac_empty027.ae
diff --git a/tests/input/ac/testfile-ac_empty027.expected → tests/ac/testfile-ac_empty027.expected b/tests/input/ac/testfile-ac_empty027.expected → tests/ac/testfile-ac_empty027.expected
diff --git a/tests/input/ac/testfile-ac_empty028.ae → tests/ac/testfile-ac_empty028.ae b/tests/input/ac/testfile-ac_empty028.ae → tests/ac/testfile-ac_empty028.ae
diff --git a/tests/input/ac/testfile-ac_empty028.expected → tests/ac/testfile-ac_empty028.expected b/tests/input/ac/testfile-ac_empty028.expected → tests/ac/testfile-ac_empty028.expected
diff --git a/tests/input/ac/testfile-ac_empty029.ae → tests/ac/testfile-ac_empty029.ae b/tests/input/ac/testfile-ac_empty029.ae → tests/ac/testfile-ac_empty029.ae
diff --git a/tests/input/ac/testfile-ac_empty029.expected → tests/ac/testfile-ac_empty029.expected b/tests/input/ac/testfile-ac_empty029.expected → tests/ac/testfile-ac_empty029.expected
diff --git a/tests/input/ac/testfile-ac_empty030.ae → tests/ac/testfile-ac_empty030.ae b/tests/input/ac/testfile-ac_empty030.ae → tests/ac/testfile-ac_empty030.ae
diff --git a/tests/input/ac/testfile-ac_empty030.expected → tests/ac/testfile-ac_empty030.expected b/tests/input/ac/testfile-ac_empty030.expected → tests/ac/testfile-ac_empty030.expected
diff --git a/tests/input/ac/testfile-ac_empty031.ae → tests/ac/testfile-ac_empty031.ae b/tests/input/ac/testfile-ac_empty031.ae → tests/ac/testfile-ac_empty031.ae
diff --git a/tests/input/ac/testfile-ac_empty031.expected → tests/ac/testfile-ac_empty031.expected b/tests/input/ac/testfile-ac_empty031.expected → tests/ac/testfile-ac_empty031.expected
diff --git a/tests/input/ac/testfile-ac_empty032.ae → tests/ac/testfile-ac_empty032.ae b/tests/input/ac/testfile-ac_empty032.ae → tests/ac/testfile-ac_empty032.ae
diff --git a/tests/input/ac/testfile-ac_empty032.expected → tests/ac/testfile-ac_empty032.expected b/tests/input/ac/testfile-ac_empty032.expected → tests/ac/testfile-ac_empty032.expected
diff --git a/tests/input/ac/testfile-ac_empty033.ae → tests/ac/testfile-ac_empty033.ae b/tests/input/ac/testfile-ac_empty033.ae → tests/ac/testfile-ac_empty033.ae
diff --git a/tests/input/ac/testfile-ac_empty033.expected → tests/ac/testfile-ac_empty033.expected b/tests/input/ac/testfile-ac_empty033.expected → tests/ac/testfile-ac_empty033.expected
diff --git a/tests/input/ac/testfile-ac_empty034.ae → tests/ac/testfile-ac_empty034.ae b/tests/input/ac/testfile-ac_empty034.ae → tests/ac/testfile-ac_empty034.ae
diff --git a/tests/input/ac/testfile-ac_empty034.expected → tests/ac/testfile-ac_empty034.expected b/tests/input/ac/testfile-ac_empty034.expected → tests/ac/testfile-ac_empty034.expected
diff --git a/tests/input/ac/testfile-ac_empty035.ae → tests/ac/testfile-ac_empty035.ae b/tests/input/ac/testfile-ac_empty035.ae → tests/ac/testfile-ac_empty035.ae
diff --git a/tests/input/ac/testfile-ac_empty035.expected → tests/ac/testfile-ac_empty035.expected b/tests/input/ac/testfile-ac_empty035.expected → tests/ac/testfile-ac_empty035.expected
diff --git a/tests/input/ac/testfile-ac_empty036.ae → tests/ac/testfile-ac_empty036.ae b/tests/input/ac/testfile-ac_empty036.ae → tests/ac/testfile-ac_empty036.ae
diff --git a/tests/input/ac/testfile-ac_empty036.expected → tests/ac/testfile-ac_empty036.expected b/tests/input/ac/testfile-ac_empty036.expected → tests/ac/testfile-ac_empty036.expected
diff --git a/tests/input/ac/testfile-ac_empty037.ae → tests/ac/testfile-ac_empty037.ae b/tests/input/ac/testfile-ac_empty037.ae → tests/ac/testfile-ac_empty037.ae
diff --git a/tests/input/ac/testfile-ac_empty037.expected → tests/ac/testfile-ac_empty037.expected b/tests/input/ac/testfile-ac_empty037.expected → tests/ac/testfile-ac_empty037.expected
diff --git a/tests/input/ac/testfile-ac_empty038.ae → tests/ac/testfile-ac_empty038.ae b/tests/input/ac/testfile-ac_empty038.ae → tests/ac/testfile-ac_empty038.ae
diff --git a/tests/input/ac/testfile-ac_empty038.expected → tests/ac/testfile-ac_empty038.expected b/tests/input/ac/testfile-ac_empty038.expected → tests/ac/testfile-ac_empty038.expected
diff --git a/tests/input/ac/testfile-ac_empty039.ae → tests/ac/testfile-ac_empty039.ae b/tests/input/ac/testfile-ac_empty039.ae → tests/ac/testfile-ac_empty039.ae
diff --git a/tests/input/ac/testfile-ac_empty039.expected → tests/ac/testfile-ac_empty039.expected b/tests/input/ac/testfile-ac_empty039.expected → tests/ac/testfile-ac_empty039.expected
diff --git a/tests/input/ac/testfile-ac_empty040.ae → tests/ac/testfile-ac_empty040.ae b/tests/input/ac/testfile-ac_empty040.ae → tests/ac/testfile-ac_empty040.ae
diff --git a/tests/input/ac/testfile-ac_empty040.expected → tests/ac/testfile-ac_empty040.expected b/tests/input/ac/testfile-ac_empty040.expected → tests/ac/testfile-ac_empty040.expected
diff --git a/tests/input/ac/testfile-ac_empty041.ae → tests/ac/testfile-ac_empty041.ae b/tests/input/ac/testfile-ac_empty041.ae → tests/ac/testfile-ac_empty041.ae
diff --git a/tests/input/ac/testfile-ac_empty041.expected → tests/ac/testfile-ac_empty041.expected b/tests/input/ac/testfile-ac_empty041.expected → tests/ac/testfile-ac_empty041.expected
diff --git a/tests/input/ac/testfile-ac_empty042.ae → tests/ac/testfile-ac_empty042.ae b/tests/input/ac/testfile-ac_empty042.ae → tests/ac/testfile-ac_empty042.ae
diff --git a/tests/input/ac/testfile-ac_empty042.expected → tests/ac/testfile-ac_empty042.expected b/tests/input/ac/testfile-ac_empty042.expected → tests/ac/testfile-ac_empty042.expected
diff --git a/tests/input/ac/testfile-ac_empty043.ae → tests/ac/testfile-ac_empty043.ae b/tests/input/ac/testfile-ac_empty043.ae → tests/ac/testfile-ac_empty043.ae
diff --git a/tests/input/ac/testfile-ac_empty043.expected → tests/ac/testfile-ac_empty043.expected b/tests/input/ac/testfile-ac_empty043.expected → tests/ac/testfile-ac_empty043.expected
diff --git a/tests/input/ac/testfile-ac_empty044.ae → tests/ac/testfile-ac_empty044.ae b/tests/input/ac/testfile-ac_empty044.ae → tests/ac/testfile-ac_empty044.ae
diff --git a/tests/input/ac/testfile-ac_empty044.expected → tests/ac/testfile-ac_empty044.expected b/tests/input/ac/testfile-ac_empty044.expected → tests/ac/testfile-ac_empty044.expected
diff --git a/tests/input/ac/testfile-ac_empty045.ae → tests/ac/testfile-ac_empty045.ae b/tests/input/ac/testfile-ac_empty045.ae → tests/ac/testfile-ac_empty045.ae
diff --git a/tests/input/ac/testfile-ac_empty045.expected → tests/ac/testfile-ac_empty045.expected b/tests/input/ac/testfile-ac_empty045.expected → tests/ac/testfile-ac_empty045.expected
diff --git a/tests/input/ac/testfile-ac_empty046.ae → tests/ac/testfile-ac_empty046.ae b/tests/input/ac/testfile-ac_empty046.ae → tests/ac/testfile-ac_empty046.ae
diff --git a/tests/input/ac/testfile-ac_empty046.expected → tests/ac/testfile-ac_empty046.expected b/tests/input/ac/testfile-ac_empty046.expected → tests/ac/testfile-ac_empty046.expected
diff --git a/tests/input/ac/testfile-ac_empty047.ae → tests/ac/testfile-ac_empty047.ae b/tests/input/ac/testfile-ac_empty047.ae → tests/ac/testfile-ac_empty047.ae
diff --git a/tests/input/ac/testfile-ac_empty047.expected → tests/ac/testfile-ac_empty047.expected b/tests/input/ac/testfile-ac_empty047.expected → tests/ac/testfile-ac_empty047.expected
diff --git a/tests/input/ac/testfile-ac_empty048.ae → tests/ac/testfile-ac_empty048.ae b/tests/input/ac/testfile-ac_empty048.ae → tests/ac/testfile-ac_empty048.ae
diff --git a/tests/input/ac/testfile-ac_empty048.expected → tests/ac/testfile-ac_empty048.expected b/tests/input/ac/testfile-ac_empty048.expected → tests/ac/testfile-ac_empty048.expected
diff --git a/tests/input/ac/testfile-ac_empty049.ae → tests/ac/testfile-ac_empty049.ae b/tests/input/ac/testfile-ac_empty049.ae → tests/ac/testfile-ac_empty049.ae
diff --git a/tests/input/ac/testfile-ac_empty049.expected → tests/ac/testfile-ac_empty049.expected b/tests/input/ac/testfile-ac_empty049.expected → tests/ac/testfile-ac_empty049.expected
diff --git a/tests/input/ac/testfile-ac_empty050.ae → tests/ac/testfile-ac_empty050.ae b/tests/input/ac/testfile-ac_empty050.ae → tests/ac/testfile-ac_empty050.ae
diff --git a/tests/input/ac/testfile-ac_empty050.expected → tests/ac/testfile-ac_empty050.expected b/tests/input/ac/testfile-ac_empty050.expected → tests/ac/testfile-ac_empty050.expected
diff --git a/tests/input/ac/testfile-ac_empty051.ae → tests/ac/testfile-ac_empty051.ae b/tests/input/ac/testfile-ac_empty051.ae → tests/ac/testfile-ac_empty051.ae
diff --git a/tests/input/ac/testfile-ac_empty051.expected → tests/ac/testfile-ac_empty051.expected b/tests/input/ac/testfile-ac_empty051.expected → tests/ac/testfile-ac_empty051.expected
diff --git a/tests/input/ac/testfile-ac_empty052.ae → tests/ac/testfile-ac_empty052.ae b/tests/input/ac/testfile-ac_empty052.ae → tests/ac/testfile-ac_empty052.ae
diff --git a/tests/input/ac/testfile-ac_empty052.expected → tests/ac/testfile-ac_empty052.expected b/tests/input/ac/testfile-ac_empty052.expected → tests/ac/testfile-ac_empty052.expected
diff --git a/tests/input/ac/testfile-ac_empty053.ae → tests/ac/testfile-ac_empty053.ae b/tests/input/ac/testfile-ac_empty053.ae → tests/ac/testfile-ac_empty053.ae
diff --git a/tests/input/ac/testfile-ac_empty053.expected → tests/ac/testfile-ac_empty053.expected b/tests/input/ac/testfile-ac_empty053.expected → tests/ac/testfile-ac_empty053.expected
diff --git a/tests/input/ac/testfile-ac_empty054.ae → tests/ac/testfile-ac_empty054.ae b/tests/input/ac/testfile-ac_empty054.ae → tests/ac/testfile-ac_empty054.ae
diff --git a/tests/input/ac/testfile-ac_empty054.expected → tests/ac/testfile-ac_empty054.expected b/tests/input/ac/testfile-ac_empty054.expected → tests/ac/testfile-ac_empty054.expected
diff --git a/tests/input/ac/testfile-ac_empty055.ae → tests/ac/testfile-ac_empty055.ae b/tests/input/ac/testfile-ac_empty055.ae → tests/ac/testfile-ac_empty055.ae
diff --git a/tests/input/ac/testfile-ac_empty055.expected → tests/ac/testfile-ac_empty055.expected b/tests/input/ac/testfile-ac_empty055.expected → tests/ac/testfile-ac_empty055.expected
diff --git a/tests/input/ac/testfile-ac_empty056.ae → tests/ac/testfile-ac_empty056.ae b/tests/input/ac/testfile-ac_empty056.ae → tests/ac/testfile-ac_empty056.ae
diff --git a/tests/input/ac/testfile-ac_empty056.expected → tests/ac/testfile-ac_empty056.expected b/tests/input/ac/testfile-ac_empty056.expected → tests/ac/testfile-ac_empty056.expected
diff --git a/tests/input/ac/testfile-ac_empty057.ae → tests/ac/testfile-ac_empty057.ae b/tests/input/ac/testfile-ac_empty057.ae → tests/ac/testfile-ac_empty057.ae
diff --git a/tests/input/ac/testfile-ac_empty057.expected → tests/ac/testfile-ac_empty057.expected b/tests/input/ac/testfile-ac_empty057.expected → tests/ac/testfile-ac_empty057.expected
diff --git a/tests/input/ac/testfile-ac_empty058.ae → tests/ac/testfile-ac_empty058.ae b/tests/input/ac/testfile-ac_empty058.ae → tests/ac/testfile-ac_empty058.ae
diff --git a/tests/input/ac/testfile-ac_empty058.expected → tests/ac/testfile-ac_empty058.expected b/tests/input/ac/testfile-ac_empty058.expected → tests/ac/testfile-ac_empty058.expected
diff --git a/tests/input/ac/testfile-ac_empty059.ae → tests/ac/testfile-ac_empty059.ae b/tests/input/ac/testfile-ac_empty059.ae → tests/ac/testfile-ac_empty059.ae
diff --git a/tests/input/ac/testfile-ac_empty059.expected → tests/ac/testfile-ac_empty059.expected b/tests/input/ac/testfile-ac_empty059.expected → tests/ac/testfile-ac_empty059.expected
diff --git a/tests/input/ac/testfile-ac_empty060.ae → tests/ac/testfile-ac_empty060.ae b/tests/input/ac/testfile-ac_empty060.ae → tests/ac/testfile-ac_empty060.ae
diff --git a/tests/input/ac/testfile-ac_empty060.expected → tests/ac/testfile-ac_empty060.expected b/tests/input/ac/testfile-ac_empty060.expected → tests/ac/testfile-ac_empty060.expected
diff --git a/tests/input/ac/testfile-ac_empty061.ae → tests/ac/testfile-ac_empty061.ae b/tests/input/ac/testfile-ac_empty061.ae → tests/ac/testfile-ac_empty061.ae
diff --git a/tests/input/ac/testfile-ac_empty061.expected → tests/ac/testfile-ac_empty061.expected b/tests/input/ac/testfile-ac_empty061.expected → tests/ac/testfile-ac_empty061.expected
diff --git a/tests/input/ac/testfile-ac_empty062.ae → tests/ac/testfile-ac_empty062.ae b/tests/input/ac/testfile-ac_empty062.ae → tests/ac/testfile-ac_empty062.ae
diff --git a/tests/input/ac/testfile-ac_empty062.expected → tests/ac/testfile-ac_empty062.expected b/tests/input/ac/testfile-ac_empty062.expected → tests/ac/testfile-ac_empty062.expected
diff --git a/tests/input/ac/testfile-ac_empty063.ae → tests/ac/testfile-ac_empty063.ae b/tests/input/ac/testfile-ac_empty063.ae → tests/ac/testfile-ac_empty063.ae
diff --git a/tests/input/ac/testfile-ac_empty063.expected → tests/ac/testfile-ac_empty063.expected b/tests/input/ac/testfile-ac_empty063.expected → tests/ac/testfile-ac_empty063.expected
diff --git a/tests/input/ac/testfile-ac_empty064.ae → tests/ac/testfile-ac_empty064.ae b/tests/input/ac/testfile-ac_empty064.ae → tests/ac/testfile-ac_empty064.ae
diff --git a/tests/input/ac/testfile-ac_empty064.expected → tests/ac/testfile-ac_empty064.expected b/tests/input/ac/testfile-ac_empty064.expected → tests/ac/testfile-ac_empty064.expected
diff --git a/tests/input/ac/testfile-ac_empty065.ae → tests/ac/testfile-ac_empty065.ae b/tests/input/ac/testfile-ac_empty065.ae → tests/ac/testfile-ac_empty065.ae
diff --git a/tests/input/ac/testfile-ac_empty065.expected → tests/ac/testfile-ac_empty065.expected b/tests/input/ac/testfile-ac_empty065.expected → tests/ac/testfile-ac_empty065.expected
diff --git a/tests/input/ac/testfile-ac_empty066.ae → tests/ac/testfile-ac_empty066.ae b/tests/input/ac/testfile-ac_empty066.ae → tests/ac/testfile-ac_empty066.ae
diff --git a/tests/input/ac/testfile-ac_empty066.expected → tests/ac/testfile-ac_empty066.expected b/tests/input/ac/testfile-ac_empty066.expected → tests/ac/testfile-ac_empty066.expected
diff --git a/tests/input/ac/testfile-ac_empty067.ae → tests/ac/testfile-ac_empty067.ae b/tests/input/ac/testfile-ac_empty067.ae → tests/ac/testfile-ac_empty067.ae
diff --git a/tests/input/ac/testfile-ac_empty067.expected → tests/ac/testfile-ac_empty067.expected b/tests/input/ac/testfile-ac_empty067.expected → tests/ac/testfile-ac_empty067.expected
diff --git a/tests/input/ac/testfile-ac_empty068.ae → tests/ac/testfile-ac_empty068.ae b/tests/input/ac/testfile-ac_empty068.ae → tests/ac/testfile-ac_empty068.ae
diff --git a/tests/input/ac/testfile-ac_empty068.expected → tests/ac/testfile-ac_empty068.expected b/tests/input/ac/testfile-ac_empty068.expected → tests/ac/testfile-ac_empty068.expected
diff --git a/tests/input/ac/testfile-ac_empty069.ae → tests/ac/testfile-ac_empty069.ae b/tests/input/ac/testfile-ac_empty069.ae → tests/ac/testfile-ac_empty069.ae
diff --git a/tests/input/ac/testfile-ac_empty069.expected → tests/ac/testfile-ac_empty069.expected b/tests/input/ac/testfile-ac_empty069.expected → tests/ac/testfile-ac_empty069.expected
diff --git a/tests/input/ac/testfile-ac_empty070.ae → tests/ac/testfile-ac_empty070.ae b/tests/input/ac/testfile-ac_empty070.ae → tests/ac/testfile-ac_empty070.ae
diff --git a/tests/input/ac/testfile-ac_empty070.expected → tests/ac/testfile-ac_empty070.expected b/tests/input/ac/testfile-ac_empty070.expected → tests/ac/testfile-ac_empty070.expected
diff --git a/tests/input/ac/testfile-ac_empty071.ae → tests/ac/testfile-ac_empty071.ae b/tests/input/ac/testfile-ac_empty071.ae → tests/ac/testfile-ac_empty071.ae
diff --git a/tests/input/ac/testfile-ac_empty071.expected → tests/ac/testfile-ac_empty071.expected b/tests/input/ac/testfile-ac_empty071.expected → tests/ac/testfile-ac_empty071.expected
diff --git a/tests/input/ac/testfile-ac_empty072.ae → tests/ac/testfile-ac_empty072.ae b/tests/input/ac/testfile-ac_empty072.ae → tests/ac/testfile-ac_empty072.ae
diff --git a/tests/input/ac/testfile-ac_empty072.expected → tests/ac/testfile-ac_empty072.expected b/tests/input/ac/testfile-ac_empty072.expected → tests/ac/testfile-ac_empty072.expected
diff --git a/tests/input/ac/testfile-ac_empty073.ae → tests/ac/testfile-ac_empty073.ae b/tests/input/ac/testfile-ac_empty073.ae → tests/ac/testfile-ac_empty073.ae
diff --git a/tests/input/ac/testfile-ac_empty073.expected → tests/ac/testfile-ac_empty073.expected b/tests/input/ac/testfile-ac_empty073.expected → tests/ac/testfile-ac_empty073.expected
diff --git a/tests/input/ac/testfile-ac_empty074.ae → tests/ac/testfile-ac_empty074.ae b/tests/input/ac/testfile-ac_empty074.ae → tests/ac/testfile-ac_empty074.ae
diff --git a/tests/input/ac/testfile-ac_empty074.expected → tests/ac/testfile-ac_empty074.expected b/tests/input/ac/testfile-ac_empty074.expected → tests/ac/testfile-ac_empty074.expected
diff --git a/tests/input/ac/testfile-ac_empty075.ae → tests/ac/testfile-ac_empty075.ae b/tests/input/ac/testfile-ac_empty075.ae → tests/ac/testfile-ac_empty075.ae
diff --git a/tests/input/ac/testfile-ac_empty075.expected → tests/ac/testfile-ac_empty075.expected b/tests/input/ac/testfile-ac_empty075.expected → tests/ac/testfile-ac_empty075.expected
diff --git a/tests/input/ac/testfile-ac_empty076.ae → tests/ac/testfile-ac_empty076.ae b/tests/input/ac/testfile-ac_empty076.ae → tests/ac/testfile-ac_empty076.ae
diff --git a/tests/input/ac/testfile-ac_empty076.expected → tests/ac/testfile-ac_empty076.expected b/tests/input/ac/testfile-ac_empty076.expected → tests/ac/testfile-ac_empty076.expected
diff --git a/tests/input/ac/testfile-ac_empty077.ae → tests/ac/testfile-ac_empty077.ae b/tests/input/ac/testfile-ac_empty077.ae → tests/ac/testfile-ac_empty077.ae
diff --git a/tests/input/ac/testfile-ac_empty077.expected → tests/ac/testfile-ac_empty077.expected b/tests/input/ac/testfile-ac_empty077.expected → tests/ac/testfile-ac_empty077.expected
diff --git a/tests/input/ac/testfile-ac_empty078.ae → tests/ac/testfile-ac_empty078.ae b/tests/input/ac/testfile-ac_empty078.ae → tests/ac/testfile-ac_empty078.ae
diff --git a/tests/input/ac/testfile-ac_empty078.expected → tests/ac/testfile-ac_empty078.expected b/tests/input/ac/testfile-ac_empty078.expected → tests/ac/testfile-ac_empty078.expected
diff --git a/tests/input/ac/testfile-ac_empty079.ae → tests/ac/testfile-ac_empty079.ae b/tests/input/ac/testfile-ac_empty079.ae → tests/ac/testfile-ac_empty079.ae
diff --git a/tests/input/ac/testfile-ac_empty079.expected → tests/ac/testfile-ac_empty079.expected b/tests/input/ac/testfile-ac_empty079.expected → tests/ac/testfile-ac_empty079.expected
diff --git a/tests/input/ac/testfile-ac_empty080.ae → tests/ac/testfile-ac_empty080.ae b/tests/input/ac/testfile-ac_empty080.ae → tests/ac/testfile-ac_empty080.ae
diff --git a/tests/input/ac/testfile-ac_empty080.expected → tests/ac/testfile-ac_empty080.expected b/tests/input/ac/testfile-ac_empty080.expected → tests/ac/testfile-ac_empty080.expected
diff --git a/tests/input/ac/testfile-ac_empty081.ae → tests/ac/testfile-ac_empty081.ae b/tests/input/ac/testfile-ac_empty081.ae → tests/ac/testfile-ac_empty081.ae
diff --git a/tests/input/ac/testfile-ac_empty081.expected → tests/ac/testfile-ac_empty081.expected b/tests/input/ac/testfile-ac_empty081.expected → tests/ac/testfile-ac_empty081.expected
diff --git a/tests/input/ac/testfile-ac_empty082.ae → tests/ac/testfile-ac_empty082.ae b/tests/input/ac/testfile-ac_empty082.ae → tests/ac/testfile-ac_empty082.ae
diff --git a/tests/input/ac/testfile-ac_empty082.expected → tests/ac/testfile-ac_empty082.expected b/tests/input/ac/testfile-ac_empty082.expected → tests/ac/testfile-ac_empty082.expected
diff --git a/tests/input/ac/testfile-ac_empty083.ae → tests/ac/testfile-ac_empty083.ae b/tests/input/ac/testfile-ac_empty083.ae → tests/ac/testfile-ac_empty083.ae
diff --git a/tests/input/ac/testfile-ac_empty083.expected → tests/ac/testfile-ac_empty083.expected b/tests/input/ac/testfile-ac_empty083.expected → tests/ac/testfile-ac_empty083.expected
diff --git a/tests/input/ac/testfile-ac_empty084.ae → tests/ac/testfile-ac_empty084.ae b/tests/input/ac/testfile-ac_empty084.ae → tests/ac/testfile-ac_empty084.ae
diff --git a/tests/input/ac/testfile-ac_empty084.expected → tests/ac/testfile-ac_empty084.expected b/tests/input/ac/testfile-ac_empty084.expected → tests/ac/testfile-ac_empty084.expected
diff --git a/tests/input/ac/testfile-ac_empty085.ae → tests/ac/testfile-ac_empty085.ae b/tests/input/ac/testfile-ac_empty085.ae → tests/ac/testfile-ac_empty085.ae
diff --git a/tests/input/ac/testfile-ac_empty085.expected → tests/ac/testfile-ac_empty085.expected b/tests/input/ac/testfile-ac_empty085.expected → tests/ac/testfile-ac_empty085.expected
diff --git a/tests/input/adts/adts-hidden-recursion.ae → tests/adts/adts-hidden-recursion.ae b/tests/input/adts/adts-hidden-recursion.ae → tests/adts/adts-hidden-recursion.ae
diff --git a/...input/adts/adts-hidden-recursion.expected → tests/adts/adts-hidden-recursion.expected b/...input/adts/adts-hidden-recursion.expected → tests/adts/adts-hidden-recursion.expected
diff --git a/...adts/bug-in-typing-destr+recursive-adt.ae → ...adts/bug-in-typing-destr+recursive-adt.ae b/...adts/bug-in-typing-destr+recursive-adt.ae → ...adts/bug-in-typing-destr+recursive-adt.ae
diff --git a/...ug-in-typing-destr+recursive-adt.expected → ...ug-in-typing-destr+recursive-adt.expected b/...ug-in-typing-destr+recursive-adt.expected → ...ug-in-typing-destr+recursive-adt.expected
diff --git a/...t/adts/distinct_same_constructor.expected → ...s/adts/distinct_same_constructor.expected b/...t/adts/distinct_same_constructor.expected → ...s/adts/distinct_same_constructor.expected
diff --git a/...input/adts/distinct_same_constructor.smt2 → tests/adts/distinct_same_constructor.smt2 b/...input/adts/distinct_same_constructor.smt2 → tests/adts/distinct_same_constructor.smt2
diff --git a/tests/input/adts/match_example.ae → tests/adts/match_example.ae b/tests/input/adts/match_example.ae → tests/adts/match_example.ae
diff --git a/tests/input/adts/match_example.expected → tests/adts/match_example.expected b/tests/input/adts/match_example.expected → tests/adts/match_example.expected
diff --git a/tests/input/adts/match_example_0.ae → tests/adts/match_example_0.ae b/tests/input/adts/match_example_0.ae → tests/adts/match_example_0.ae
diff --git a/tests/input/adts/match_example_0.expected → tests/adts/match_example_0.expected b/tests/input/adts/match_example_0.expected → tests/adts/match_example_0.expected
diff --git a/tests/input/adts/match_in_terms.ae → tests/adts/match_in_terms.ae b/tests/input/adts/match_in_terms.ae → tests/adts/match_in_terms.ae
diff --git a/tests/input/adts/match_in_terms.expected → tests/adts/match_in_terms.expected b/tests/input/adts/match_in_terms.expected → tests/adts/match_in_terms.expected
diff --git a/tests/input/adts/mutually_recursive.ae → tests/adts/mutually_recursive.ae b/tests/input/adts/mutually_recursive.ae → tests/adts/mutually_recursive.ae