Add cram tests in regressin directory

Signed-off-by: Kakadu <[email protected]>

regression/dune

@@ -0,0 +1,162 @@
+; This file was autogenerated
+
+(cram (deps ../src/Driver.exe ../runtime/Std.i ../runtime32/Std.i))
+
+(cram (applies_to test001)
+  (deps test001.lama test001.input))
+(cram (applies_to test002)
+  (deps test002.lama test002.input))
+(cram (applies_to test003)
+  (deps test003.lama test003.input))
+(cram (applies_to test004)
+  (deps test004.lama test004.input))
+(cram (applies_to test005)
+  (deps test005.lama test005.input))
+(cram (applies_to test006)
+  (deps test006.lama test006.input))
+(cram (applies_to test007)
+  (deps test007.lama test007.input))
+(cram (applies_to test008)
+  (deps test008.lama test008.input))
+(cram (applies_to test009)
+  (deps test009.lama test009.input))
+(cram (applies_to test010)
+  (deps test010.lama test010.input))
+(cram (applies_to test011)
+  (deps test011.lama test011.input))
+(cram (applies_to test012)
+  (deps test012.lama test012.input))
+(cram (applies_to test013)
+  (deps test013.lama test013.input))
+(cram (applies_to test014)
+  (deps test014.lama test014.input))
+(cram (applies_to test015)
+  (deps test015.lama test015.input))
+(cram (applies_to test016)
+  (deps test016.lama test016.input))
+(cram (applies_to test017)
+  (deps test017.lama test017.input))
+(cram (applies_to test018)
+  (deps test018.lama test018.input))
+(cram (applies_to test019)
+  (deps test019.lama test019.input))
+(cram (applies_to test020)
+  (deps test020.lama test020.input))
+(cram (applies_to test021)
+  (deps test021.lama test021.input))
+(cram (applies_to test022)
+  (deps test022.lama test022.input))
+(cram (applies_to test023)
+  (deps test023.lama test023.input))
+(cram (applies_to test024)
+  (deps test024.lama test024.input))
+(cram (applies_to test025)
+  (deps test025.lama test025.input))
+(cram (applies_to test026)
+  (deps test026.lama test026.input))
+(cram (applies_to test027)
+  (deps test027.lama test027.input))
+(cram (applies_to test028)
+  (deps test028.lama test028.input))
+(cram (applies_to test029)
+  (deps test029.lama test029.input))
+(cram (applies_to test034)
+  (deps test034.lama test034.input))
+(cram (applies_to test036)
+  (deps test036.lama test036.input))
+(cram (applies_to test040)
+  (deps test040.lama test040.input))
+(cram (applies_to test041)
+  (deps test041.lama test041.input))
+(cram (applies_to test042)
+  (deps test042.lama test042.input))
+(cram (applies_to test045)
+  (deps test045.lama test045.input))
+(cram (applies_to test046)
+  (deps test046.lama test046.input))
+(cram (applies_to test050)
+  (deps test050.lama test050.input))
+(cram (applies_to test054)
+  (deps test054.lama test054.input))
+(cram (applies_to test059)
+  (deps test059.lama test059.input))
+(cram (applies_to test063)
+  (deps test063.lama test063.input))
+(cram (applies_to test072)
+  (deps test072.lama test072.input))
+(cram (applies_to test073)
+  (deps test073.lama test073.input))
+(cram (applies_to test074)
+  (deps test074.lama test074.input))
+(cram (applies_to test077)
+  (deps test077.lama test077.input))
+(cram (applies_to test078)
+  (deps test078.lama test078.input))
+(cram (applies_to test079)
+  (deps test079.lama test079.input))
+(cram (applies_to test080)
+  (deps test080.lama test080.input))
+(cram (applies_to test081)
+  (deps test081.lama test081.input))
+(cram (applies_to test082)
+  (deps test082.lama test082.input))
+(cram (applies_to test083)
+  (deps test083.lama test083.input))
+(cram (applies_to test084)
+  (deps test084.lama test084.input))
+(cram (applies_to test085)
+  (deps test085.lama test085.input))
+(cram (applies_to test086)
+  (deps test086.lama test086.input))
+(cram (applies_to test088)
+  (deps test088.lama test088.input))
+(cram (applies_to test089)
+  (deps test089.lama test089.input))
+(cram (applies_to test090)
+  (deps test090.lama test090.input))
+(cram (applies_to test091)
+  (deps test091.lama test091.input))
+(cram (applies_to test092)
+  (deps test092.lama test092.input))
+(cram (applies_to test093)
+  (deps test093.lama test093.input))
+(cram (applies_to test094)
+  (deps test094.lama test094.input))
+(cram (applies_to test095)
+  (deps test095.lama test095.input))
+(cram (applies_to test096)
+  (deps test096.lama test096.input))
+(cram (applies_to test097)
+  (deps test097.lama test097.input))
+(cram (applies_to test098)
+  (deps test098.lama test098.input))
+(cram (applies_to test099)
+  (deps test099.lama test099.input))
+(cram (applies_to test100)
+  (deps test100.lama test100.input))
+(cram (applies_to test101)
+  (deps test101.lama test101.input))
+(cram (applies_to test102)
+  (deps test102.lama test102.input))
+(cram (applies_to test103)
+  (deps test103.lama test103.input))
+(cram (applies_to test104)
+  (deps test104.lama test104.input))
+(cram (applies_to test105)
+  (deps test105.lama test105.input))
+(cram (applies_to test106)
+  (deps test106.lama test106.input))
+(cram (applies_to test107)
+  (deps test107.lama test107.input))
+(cram (applies_to test110)
+  (deps test110.lama test110.input))
+(cram (applies_to test111)
+  (deps test111.lama test111.input))
+(cram (applies_to test112)
+  (deps test112.lama test112.input))
+(cram (applies_to test801)
+  (deps test801.lama test801.input))
+(cram (applies_to test802)
+  (deps test802.lama test802.input))
+(cram (applies_to test803)
+  (deps test803.lama test803.input))

regression/gen.ml

@@ -0,0 +1,35 @@
+(* Run as `ocaml gen.ml` *)
+
+let count = 1000
+
+let () =
+  Out_channel.with_open_text "dune" (fun dunech ->
+      let dprintfn fmt = Format.kasprintf (Printf.fprintf dunech "%s\n") fmt in
+      dprintfn "; This file was autogenerated\n";
+      dprintfn "(cram (deps ../src/Driver.exe ../runtime/Std.i ../runtime32/Std.i))\n";
+
+      for i = 0 to count - 1 do
+        let cram_buf = Buffer.create 100 in
+        let cram_printfn fmt =
+          Format.kasprintf (Printf.bprintf cram_buf "%s\n") fmt
+        in
+        let cram_file = ref (Printf.sprintf "test%03d.t" i) in
+        let lama_file = ref (Printf.sprintf "test%03d.lama" i) in
+        let input_file = ref (Printf.sprintf "test%03d.input" i) in
+
+
+        let found =
+          if Sys.file_exists !lama_file then (
+            cram_printfn
+              "  $ LAMA=../runtime ../src/Driver.exe -i test%03d.lama < \
+               test%03d.input"
+              i i;
+            true)
+          else   false
+        in
+        if found then (
+          dprintfn "(cram (applies_to test%03d)"            i;
+          dprintfn "  (deps %s %s))" !lama_file !input_file;
+          Out_channel.with_open_text !cram_file (fun ch ->
+              output_string ch (Buffer.contents cram_buf)))
+      done)