Repair tests in regression

Signed-off-by: Kakadu <Kakadu@pm.me>
2025-12-06 06:48:48 +00:00 · 2024-11-15 21:51:22 +03:00 · 2024-11-15 21:51:22 +03:00 · 5dfd0a3b43
commit 5dfd0a3b43
parent c3cc26c0d3
80 changed files with 238 additions and 80 deletions
--- a/regression/gen.ml
+++ b/regression/gen.ml
@ -21,7 +21,7 @@ let () =
        let found =
          if Sys.file_exists !lama_file then (
            cram_printfn
-              "../src/Driver.exe -i test%03d.lama < \
+              "  $ ../src/Driver.exe -i test%03d.lama < \
               test%03d.input"
              i i;
            true)
--- a/regression/test001.t
+++ b/regression/test001.t
@ -1 +1,3 @@
-../src/Driver.exe -i test001.lama < test001.input
+  $ ../src/Driver.exe -i test001.lama < test001.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test002.t
+++ b/regression/test002.t
@ -1 +1,3 @@
-../src/Driver.exe -i test002.lama < test002.input
+  $ ../src/Driver.exe -i test002.lama < test002.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test003.t
+++ b/regression/test003.t
@ -1 +1,3 @@
-../src/Driver.exe -i test003.lama < test003.input
+  $ ../src/Driver.exe -i test003.lama < test003.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test004.t
+++ b/regression/test004.t
@ -1 +1,3 @@
-../src/Driver.exe -i test004.lama < test004.input
+  $ ../src/Driver.exe -i test004.lama < test004.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test005.t
+++ b/regression/test005.t
@ -1 +1,3 @@
-../src/Driver.exe -i test005.lama < test005.input
+  $ ../src/Driver.exe -i test005.lama < test005.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test006.t
+++ b/regression/test006.t
@ -1 +1,3 @@
-../src/Driver.exe -i test006.lama < test006.input
+  $ ../src/Driver.exe -i test006.lama < test006.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test007.t
+++ b/regression/test007.t
@ -1 +1,3 @@
-../src/Driver.exe -i test007.lama < test007.input
+  $ ../src/Driver.exe -i test007.lama < test007.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test008.t
+++ b/regression/test008.t
@ -1 +1,3 @@
-../src/Driver.exe -i test008.lama < test008.input
+  $ ../src/Driver.exe -i test008.lama < test008.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test009.t
+++ b/regression/test009.t
@ -1 +1,3 @@
-../src/Driver.exe -i test009.lama < test009.input
+  $ ../src/Driver.exe -i test009.lama < test009.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test010.t
+++ b/regression/test010.t
@ -1 +1,3 @@
-../src/Driver.exe -i test010.lama < test010.input
+  $ ../src/Driver.exe -i test010.lama < test010.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test011.t
+++ b/regression/test011.t
@ -1 +1,3 @@
-../src/Driver.exe -i test011.lama < test011.input
+  $ ../src/Driver.exe -i test011.lama < test011.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test012.t
+++ b/regression/test012.t
@ -1 +1,3 @@
-../src/Driver.exe -i test012.lama < test012.input
+  $ ../src/Driver.exe -i test012.lama < test012.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test013.t
+++ b/regression/test013.t
@ -1 +1,3 @@
-../src/Driver.exe -i test013.lama < test013.input
+  $ ../src/Driver.exe -i test013.lama < test013.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test014.t
+++ b/regression/test014.t
@ -1 +1,3 @@
-../src/Driver.exe -i test014.lama < test014.input
+  $ ../src/Driver.exe -i test014.lama < test014.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test015.t
+++ b/regression/test015.t
@ -1 +1,3 @@
-../src/Driver.exe -i test015.lama < test015.input
+  $ ../src/Driver.exe -i test015.lama < test015.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test016.t
+++ b/regression/test016.t
@ -1 +1,3 @@
-../src/Driver.exe -i test016.lama < test016.input
+  $ ../src/Driver.exe -i test016.lama < test016.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test017.t
+++ b/regression/test017.t
@ -1 +1,3 @@
-../src/Driver.exe -i test017.lama < test017.input
+  $ ../src/Driver.exe -i test017.lama < test017.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test018.t
+++ b/regression/test018.t
@ -1 +1,3 @@
-../src/Driver.exe -i test018.lama < test018.input
+  $ ../src/Driver.exe -i test018.lama < test018.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test019.t
+++ b/regression/test019.t
@ -1 +1,3 @@
-../src/Driver.exe -i test019.lama < test019.input
+  $ ../src/Driver.exe -i test019.lama < test019.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test020.t
+++ b/regression/test020.t
@ -1 +1,3 @@
-../src/Driver.exe -i test020.lama < test020.input
+  $ ../src/Driver.exe -i test020.lama < test020.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test021.t
+++ b/regression/test021.t
@ -1 +1,3 @@
-../src/Driver.exe -i test021.lama < test021.input
+  $ ../src/Driver.exe -i test021.lama < test021.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test022.t
+++ b/regression/test022.t
@ -1 +1,3 @@
-../src/Driver.exe -i test022.lama < test022.input
+  $ ../src/Driver.exe -i test022.lama < test022.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test023.t
+++ b/regression/test023.t
@ -1 +1,3 @@
-../src/Driver.exe -i test023.lama < test023.input
+  $ ../src/Driver.exe -i test023.lama < test023.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test024.t
+++ b/regression/test024.t
@ -1 +1,3 @@
-../src/Driver.exe -i test024.lama < test024.input
+  $ ../src/Driver.exe -i test024.lama < test024.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test025.t
+++ b/regression/test025.t
@ -1 +1,3 @@
-../src/Driver.exe -i test025.lama < test025.input
+  $ ../src/Driver.exe -i test025.lama < test025.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test026.t
+++ b/regression/test026.t
@ -1 +1,3 @@
-../src/Driver.exe -i test026.lama < test026.input
+  $ ../src/Driver.exe -i test026.lama < test026.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test027.t
+++ b/regression/test027.t
@ -1 +1,3 @@
-../src/Driver.exe -i test027.lama < test027.input
+  $ ../src/Driver.exe -i test027.lama < test027.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test028.t
+++ b/regression/test028.t
@ -1 +1,3 @@
-../src/Driver.exe -i test028.lama < test028.input
+  $ ../src/Driver.exe -i test028.lama < test028.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test029.t
+++ b/regression/test029.t
@ -1 +1,3 @@
-../src/Driver.exe -i test029.lama < test029.input
+  $ ../src/Driver.exe -i test029.lama < test029.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test034.t
+++ b/regression/test034.t
@ -1 +1,3 @@
-../src/Driver.exe -i test034.lama < test034.input
+  $ ../src/Driver.exe -i test034.lama < test034.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test036.t
+++ b/regression/test036.t
@ -1 +1,3 @@
-../src/Driver.exe -i test036.lama < test036.input
+  $ ../src/Driver.exe -i test036.lama < test036.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test040.t
+++ b/regression/test040.t
@ -1 +1,3 @@
-../src/Driver.exe -i test040.lama < test040.input
+  $ ../src/Driver.exe -i test040.lama < test040.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test041.t
+++ b/regression/test041.t
@ -1 +1,3 @@
-../src/Driver.exe -i test041.lama < test041.input
+  $ ../src/Driver.exe -i test041.lama < test041.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test042.t
+++ b/regression/test042.t
@ -1 +1,3 @@
-../src/Driver.exe -i test042.lama < test042.input
+  $ ../src/Driver.exe -i test042.lama < test042.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test045.t
+++ b/regression/test045.t
@ -1 +1,3 @@
-../src/Driver.exe -i test045.lama < test045.input
+  $ ../src/Driver.exe -i test045.lama < test045.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test046.t
+++ b/regression/test046.t
@ -1 +1,3 @@
-../src/Driver.exe -i test046.lama < test046.input
+  $ ../src/Driver.exe -i test046.lama < test046.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test050.t
+++ b/regression/test050.t
@ -1 +1,3 @@
-../src/Driver.exe -i test050.lama < test050.input
+  $ ../src/Driver.exe -i test050.lama < test050.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test054.t
+++ b/regression/test054.t
@ -1 +1,3 @@
-../src/Driver.exe -i test054.lama < test054.input
+  $ ../src/Driver.exe -i test054.lama < test054.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test059.t
+++ b/regression/test059.t
@ -1 +1,3 @@
-../src/Driver.exe -i test059.lama < test059.input
+  $ ../src/Driver.exe -i test059.lama < test059.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test063.t
+++ b/regression/test063.t
@ -1 +1,3 @@
-../src/Driver.exe -i test063.lama < test063.input
+  $ ../src/Driver.exe -i test063.lama < test063.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test072.t
+++ b/regression/test072.t
@ -1 +1,3 @@
-../src/Driver.exe -i test072.lama < test072.input
+  $ ../src/Driver.exe -i test072.lama < test072.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test073.t
+++ b/regression/test073.t
@ -1 +1,3 @@
-../src/Driver.exe -i test073.lama < test073.input
+  $ ../src/Driver.exe -i test073.lama < test073.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test074.t
+++ b/regression/test074.t
@ -1 +1,3 @@
-../src/Driver.exe -i test074.lama < test074.input
+  $ ../src/Driver.exe -i test074.lama < test074.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test077.t
+++ b/regression/test077.t
@ -1 +1,3 @@
-../src/Driver.exe -i test077.lama < test077.input
+  $ ../src/Driver.exe -i test077.lama < test077.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test078.t
+++ b/regression/test078.t
@ -1 +1,3 @@
-../src/Driver.exe -i test078.lama < test078.input
+  $ ../src/Driver.exe -i test078.lama < test078.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test079.t
+++ b/regression/test079.t
@ -1 +1,3 @@
-../src/Driver.exe -i test079.lama < test079.input
+  $ ../src/Driver.exe -i test079.lama < test079.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test080.t
+++ b/regression/test080.t
@ -1 +1,3 @@
-../src/Driver.exe -i test080.lama < test080.input
+  $ ../src/Driver.exe -i test080.lama < test080.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test081.t
+++ b/regression/test081.t
@ -1 +1,3 @@
-../src/Driver.exe -i test081.lama < test081.input
+  $ ../src/Driver.exe -i test081.lama < test081.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test082.t
+++ b/regression/test082.t
@ -1 +1,3 @@
-../src/Driver.exe -i test082.lama < test082.input
+  $ ../src/Driver.exe -i test082.lama < test082.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test083.t
+++ b/regression/test083.t
@ -1 +1,3 @@
-../src/Driver.exe -i test083.lama < test083.input
+  $ ../src/Driver.exe -i test083.lama < test083.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test084.t
+++ b/regression/test084.t
@ -1 +1,3 @@
-../src/Driver.exe -i test084.lama < test084.input
+  $ ../src/Driver.exe -i test084.lama < test084.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test085.t
+++ b/regression/test085.t
@ -1 +1,3 @@
-../src/Driver.exe -i test085.lama < test085.input
+  $ ../src/Driver.exe -i test085.lama < test085.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test086.t
+++ b/regression/test086.t
@ -1 +1,3 @@
-../src/Driver.exe -i test086.lama < test086.input
+  $ ../src/Driver.exe -i test086.lama < test086.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test088.t
+++ b/regression/test088.t
@ -1 +1,3 @@
-../src/Driver.exe -i test088.lama < test088.input
+  $ ../src/Driver.exe -i test088.lama < test088.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test089.t
+++ b/regression/test089.t
@ -1 +1,3 @@
-../src/Driver.exe -i test089.lama < test089.input
+  $ ../src/Driver.exe -i test089.lama < test089.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test090.t
+++ b/regression/test090.t
@ -1 +1,3 @@
-../src/Driver.exe -i test090.lama < test090.input
+  $ ../src/Driver.exe -i test090.lama < test090.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test091.t
+++ b/regression/test091.t
@ -1 +1,3 @@
-../src/Driver.exe -i test091.lama < test091.input
+  $ ../src/Driver.exe -i test091.lama < test091.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test092.t
+++ b/regression/test092.t
@ -1 +1,3 @@
-../src/Driver.exe -i test092.lama < test092.input
+  $ ../src/Driver.exe -i test092.lama < test092.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test093.t
+++ b/regression/test093.t
@ -1 +1,3 @@
-../src/Driver.exe -i test093.lama < test093.input
+  $ ../src/Driver.exe -i test093.lama < test093.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test094.t
+++ b/regression/test094.t
@ -1 +1,3 @@
-../src/Driver.exe -i test094.lama < test094.input
+  $ ../src/Driver.exe -i test094.lama < test094.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test095.t
+++ b/regression/test095.t
@ -1 +1,3 @@
-../src/Driver.exe -i test095.lama < test095.input
+  $ ../src/Driver.exe -i test095.lama < test095.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test096.t
+++ b/regression/test096.t
@ -1 +1,3 @@
-../src/Driver.exe -i test096.lama < test096.input
+  $ ../src/Driver.exe -i test096.lama < test096.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test097.t
+++ b/regression/test097.t
@ -1 +1,3 @@
-../src/Driver.exe -i test097.lama < test097.input
+  $ ../src/Driver.exe -i test097.lama < test097.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test098.t
+++ b/regression/test098.t
@ -1 +1,3 @@
-../src/Driver.exe -i test098.lama < test098.input
+  $ ../src/Driver.exe -i test098.lama < test098.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test099.t
+++ b/regression/test099.t
@ -1 +1,3 @@
-../src/Driver.exe -i test099.lama < test099.input
+  $ ../src/Driver.exe -i test099.lama < test099.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test100.t
+++ b/regression/test100.t
@ -1 +1,3 @@
-../src/Driver.exe -i test100.lama < test100.input
+  $ ../src/Driver.exe -i test100.lama < test100.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test101.t
+++ b/regression/test101.t
@ -1 +1,3 @@
-../src/Driver.exe -i test101.lama < test101.input
+  $ ../src/Driver.exe -i test101.lama < test101.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test102.t
+++ b/regression/test102.t
@ -1 +1,3 @@
-../src/Driver.exe -i test102.lama < test102.input
+  $ ../src/Driver.exe -i test102.lama < test102.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test103.t
+++ b/regression/test103.t
@ -1 +1,3 @@
-../src/Driver.exe -i test103.lama < test103.input
+  $ ../src/Driver.exe -i test103.lama < test103.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test104.t
+++ b/regression/test104.t
@ -1 +1,3 @@
-../src/Driver.exe -i test104.lama < test104.input
+  $ ../src/Driver.exe -i test104.lama < test104.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test105.t
+++ b/regression/test105.t
@ -1 +1,3 @@
-../src/Driver.exe -i test105.lama < test105.input
+  $ ../src/Driver.exe -i test105.lama < test105.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test106.t
+++ b/regression/test106.t
@ -1 +1,3 @@
-../src/Driver.exe -i test106.lama < test106.input
+  $ ../src/Driver.exe -i test106.lama < test106.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test107.t
+++ b/regression/test107.t
@ -1 +1,3 @@
-../src/Driver.exe -i test107.lama < test107.input
+  $ ../src/Driver.exe -i test107.lama < test107.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test110.t
+++ b/regression/test110.t
@ -1 +1,3 @@
-../src/Driver.exe -i test110.lama < test110.input
+  $ ../src/Driver.exe -i test110.lama < test110.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test111.t
+++ b/regression/test111.t
@ -1 +1,3 @@
-../src/Driver.exe -i test111.lama < test111.input
+  $ ../src/Driver.exe -i test111.lama < test111.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test112.t
+++ b/regression/test112.t
@ -1 +1,3 @@
-../src/Driver.exe -i test112.lama < test112.input
+  $ ../src/Driver.exe -i test112.lama < test112.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test801.t
+++ b/regression/test801.t
@ -1 +1,3 @@
-../src/Driver.exe -i test801.lama < test801.input
+  $ ../src/Driver.exe -i test801.lama < test801.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test802.t
+++ b/regression/test802.t
@ -1 +1,3 @@
-../src/Driver.exe -i test802.lama < test802.input
+  $ ../src/Driver.exe -i test802.lama < test802.input
+  Error: could not find an interface file for import "Std"
+  [255]
--- a/regression/test803.t
+++ b/regression/test803.t
@ -1 +1,3 @@
-../src/Driver.exe -i test803.lama < test803.input
+  $ ../src/Driver.exe -i test803.lama < test803.input
+  Error: could not find an interface file for import "Std"
+  [255]