Skip to content

Commit

Permalink
Cramify tests in regression/expressions
Browse files Browse the repository at this point in the history 
Signed-off-by: Kakadu <[email protected]>
  • Loading branch information
@Kakadu
Kakadu committed Sep 5, 2024
1 parent 711d6e7 commit 0ac51d1
Show file tree
Hide file tree
Showing 11,002 changed files with 21,926 additions and 10,016 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
2,004 changes: 2,004 additions & 0 deletions regression/expressions/dune
View file

Large diffs are not rendered by default.

26 changes: 10 additions & 16 deletions regression/expressions/gen.ml
View file
Original file line number Diff line number Diff line change
@@ -1,39 +1,33 @@
(* Run as `ocaml gen.ml` *)

let count = 10000
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))\n";
for i=0 to count / 10 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 = Printf.sprintf "r%04dx.t" i in
let cram_file = Printf.sprintf "generated%04dx.t" i in
let deps = ref [] in
for j=0 to 9 do
let k = (i*10+j) in
let lama_file = Printf.sprintf "generated%05d.lama" k in
let input_file = Printf.sprintf "generated%05d.input" k in

if Sys.file_exists lama_file then
let test =
In_channel.with_open_text (Printf.sprintf "generated%05d.input" k) In_channel.input_all
|> String.split_on_char '\n' |> List.filter ((<>)"")
in
(
deps := lama_file :: !deps;
cram_printfn " $ cat > test.input <<EOF";
List.iter (cram_printfn " > %s") test;
cram_printfn " > EOF";
cram_printfn " $ LAMA=../../runtime ../../src/Driver.exe -i generated%05d.lama < test.input" k
if Sys.file_exists lama_file then (
deps := lama_file :: input_file :: !deps;
cram_printfn " $ LAMA=../../runtime ../../src/Driver.exe -i generated%05d.lama < generated%05d.input" k k
)
done;
match !deps with
| [] -> ()
| xs ->
(Printf.fprintf dunech "(cram (applies_to r%04dx)\n" i;
Printf.fprintf dunech " (deps %s))\n%!" (String.concat " " xs);
(dprintfn "(cram (applies_to generated%04dx)" i;
dprintfn " (deps %s))" (String.concat " " xs);
Out_channel.with_open_text cram_file (fun ch ->
output_string ch (Buffer.contents cram_buf)
)
output_string ch (Buffer.contents cram_buf))
)
done
)
Expand Down
20 changes: 20 additions & 0 deletions regression/expressions/generated0000x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00000.lama < generated00000.input
> > 12
$ LAMA=../../runtime ../../src/Driver.exe -i generated00001.lama < generated00001.input
> > 44
$ LAMA=../../runtime ../../src/Driver.exe -i generated00002.lama < generated00002.input
> > 75
$ LAMA=../../runtime ../../src/Driver.exe -i generated00003.lama < generated00003.input
> > 35
$ LAMA=../../runtime ../../src/Driver.exe -i generated00004.lama < generated00004.input
> > 78
$ LAMA=../../runtime ../../src/Driver.exe -i generated00005.lama < generated00005.input
> > -1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00006.lama < generated00006.input
> > 118
$ LAMA=../../runtime ../../src/Driver.exe -i generated00007.lama < generated00007.input
> > 72
$ LAMA=../../runtime ../../src/Driver.exe -i generated00008.lama < generated00008.input
> > -45
$ LAMA=../../runtime ../../src/Driver.exe -i generated00009.lama < generated00009.input
> > 26
20 changes: 20 additions & 0 deletions regression/expressions/generated0001x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00010.lama < generated00010.input
> > 306
$ LAMA=../../runtime ../../src/Driver.exe -i generated00011.lama < generated00011.input
> > -5
$ LAMA=../../runtime ../../src/Driver.exe -i generated00012.lama < generated00012.input
> > -75
$ LAMA=../../runtime ../../src/Driver.exe -i generated00013.lama < generated00013.input
> > 272
$ LAMA=../../runtime ../../src/Driver.exe -i generated00014.lama < generated00014.input
> > 139
$ LAMA=../../runtime ../../src/Driver.exe -i generated00015.lama < generated00015.input
> > 50
$ LAMA=../../runtime ../../src/Driver.exe -i generated00016.lama < generated00016.input
> > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00017.lama < generated00017.input
> > 69
$ LAMA=../../runtime ../../src/Driver.exe -i generated00018.lama < generated00018.input
> > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00019.lama < generated00019.input
> > 171
20 changes: 20 additions & 0 deletions regression/expressions/generated0002x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00020.lama < generated00020.input
> > 75
$ LAMA=../../runtime ../../src/Driver.exe -i generated00021.lama < generated00021.input
> > 1587
$ LAMA=../../runtime ../../src/Driver.exe -i generated00022.lama < generated00022.input
> > 64
$ LAMA=../../runtime ../../src/Driver.exe -i generated00023.lama < generated00023.input
> > 714
$ LAMA=../../runtime ../../src/Driver.exe -i generated00024.lama < generated00024.input
> > 116
$ LAMA=../../runtime ../../src/Driver.exe -i generated00025.lama < generated00025.input
> > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00026.lama < generated00026.input
> > -12
$ LAMA=../../runtime ../../src/Driver.exe -i generated00027.lama < generated00027.input
> > 6
$ LAMA=../../runtime ../../src/Driver.exe -i generated00028.lama < generated00028.input
> > 18
$ LAMA=../../runtime ../../src/Driver.exe -i generated00029.lama < generated00029.input
> > 40
20 changes: 20 additions & 0 deletions regression/expressions/generated0003x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00030.lama < generated00030.input
> > 4624
$ LAMA=../../runtime ../../src/Driver.exe -i generated00031.lama < generated00031.input
> > 21
$ LAMA=../../runtime ../../src/Driver.exe -i generated00032.lama < generated00032.input
> > 17
$ LAMA=../../runtime ../../src/Driver.exe -i generated00033.lama < generated00033.input
> > -5
$ LAMA=../../runtime ../../src/Driver.exe -i generated00034.lama < generated00034.input
> > 21
$ LAMA=../../runtime ../../src/Driver.exe -i generated00035.lama < generated00035.input
> > 16
$ LAMA=../../runtime ../../src/Driver.exe -i generated00036.lama < generated00036.input
> > 23
$ LAMA=../../runtime ../../src/Driver.exe -i generated00037.lama < generated00037.input
> > 2
$ LAMA=../../runtime ../../src/Driver.exe -i generated00038.lama < generated00038.input
> > 18
$ LAMA=../../runtime ../../src/Driver.exe -i generated00039.lama < generated00039.input
> > 61
20 changes: 20 additions & 0 deletions regression/expressions/generated0004x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00040.lama < generated00040.input
> > 67
$ LAMA=../../runtime ../../src/Driver.exe -i generated00041.lama < generated00041.input
> > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00042.lama < generated00042.input
> > 14
$ LAMA=../../runtime ../../src/Driver.exe -i generated00043.lama < generated00043.input
> > 17
$ LAMA=../../runtime ../../src/Driver.exe -i generated00044.lama < generated00044.input
> > 82
$ LAMA=../../runtime ../../src/Driver.exe -i generated00045.lama < generated00045.input
> > 360
$ LAMA=../../runtime ../../src/Driver.exe -i generated00046.lama < generated00046.input
> > 99
$ LAMA=../../runtime ../../src/Driver.exe -i generated00047.lama < generated00047.input
> > -54
$ LAMA=../../runtime ../../src/Driver.exe -i generated00048.lama < generated00048.input
> > 93
$ LAMA=../../runtime ../../src/Driver.exe -i generated00049.lama < generated00049.input
> > 725
20 changes: 20 additions & 0 deletions regression/expressions/generated0005x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00050.lama < generated00050.input
> > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00051.lama < generated00051.input
> > 104
$ LAMA=../../runtime ../../src/Driver.exe -i generated00052.lama < generated00052.input
> > -5
$ LAMA=../../runtime ../../src/Driver.exe -i generated00053.lama < generated00053.input
> > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00054.lama < generated00054.input
> > 98
$ LAMA=../../runtime ../../src/Driver.exe -i generated00055.lama < generated00055.input
> > 153
$ LAMA=../../runtime ../../src/Driver.exe -i generated00056.lama < generated00056.input
> > 1080
$ LAMA=../../runtime ../../src/Driver.exe -i generated00057.lama < generated00057.input
> > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00058.lama < generated00058.input
> > 2574
$ LAMA=../../runtime ../../src/Driver.exe -i generated00059.lama < generated00059.input
> > 128
20 changes: 20 additions & 0 deletions regression/expressions/generated0006x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00060.lama < generated00060.input
> > 1755
$ LAMA=../../runtime ../../src/Driver.exe -i generated00061.lama < generated00061.input
> > 569
$ LAMA=../../runtime ../../src/Driver.exe -i generated00062.lama < generated00062.input
> > -30
$ LAMA=../../runtime ../../src/Driver.exe -i generated00063.lama < generated00063.input
> > 45
$ LAMA=../../runtime ../../src/Driver.exe -i generated00064.lama < generated00064.input
> > -25
$ LAMA=../../runtime ../../src/Driver.exe -i generated00065.lama < generated00065.input
> > 11
$ LAMA=../../runtime ../../src/Driver.exe -i generated00066.lama < generated00066.input
> > 799
$ LAMA=../../runtime ../../src/Driver.exe -i generated00067.lama < generated00067.input
> > -1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00068.lama < generated00068.input
> > 44
$ LAMA=../../runtime ../../src/Driver.exe -i generated00069.lama < generated00069.input
> > 18
20 changes: 20 additions & 0 deletions regression/expressions/generated0007x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00070.lama < generated00070.input
> > 156
$ LAMA=../../runtime ../../src/Driver.exe -i generated00071.lama < generated00071.input
> > 17
$ LAMA=../../runtime ../../src/Driver.exe -i generated00072.lama < generated00072.input
> > 49
$ LAMA=../../runtime ../../src/Driver.exe -i generated00073.lama < generated00073.input
> > 3330
$ LAMA=../../runtime ../../src/Driver.exe -i generated00074.lama < generated00074.input
> > -26
$ LAMA=../../runtime ../../src/Driver.exe -i generated00075.lama < generated00075.input
> > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00076.lama < generated00076.input
> > 36
$ LAMA=../../runtime ../../src/Driver.exe -i generated00077.lama < generated00077.input
> > 46
$ LAMA=../../runtime ../../src/Driver.exe -i generated00078.lama < generated00078.input
> > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00079.lama < generated00079.input
> > 1627
20 changes: 20 additions & 0 deletions regression/expressions/generated0008x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00080.lama < generated00080.input
> > 57
$ LAMA=../../runtime ../../src/Driver.exe -i generated00081.lama < generated00081.input
> > 98
$ LAMA=../../runtime ../../src/Driver.exe -i generated00082.lama < generated00082.input
> > 81
$ LAMA=../../runtime ../../src/Driver.exe -i generated00083.lama < generated00083.input
> > 155
$ LAMA=../../runtime ../../src/Driver.exe -i generated00084.lama < generated00084.input
> > -93
$ LAMA=../../runtime ../../src/Driver.exe -i generated00085.lama < generated00085.input
> > 28
$ LAMA=../../runtime ../../src/Driver.exe -i generated00086.lama < generated00086.input
> > 129
$ LAMA=../../runtime ../../src/Driver.exe -i generated00087.lama < generated00087.input
> > -88
$ LAMA=../../runtime ../../src/Driver.exe -i generated00088.lama < generated00088.input
> > 3
$ LAMA=../../runtime ../../src/Driver.exe -i generated00089.lama < generated00089.input
> > 53
20 changes: 20 additions & 0 deletions regression/expressions/generated0009x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00090.lama < generated00090.input
> > 1369
$ LAMA=../../runtime ../../src/Driver.exe -i generated00091.lama < generated00091.input
> > 46
$ LAMA=../../runtime ../../src/Driver.exe -i generated00092.lama < generated00092.input
> > 92
$ LAMA=../../runtime ../../src/Driver.exe -i generated00093.lama < generated00093.input
> > 142
$ LAMA=../../runtime ../../src/Driver.exe -i generated00094.lama < generated00094.input
> > 2006
$ LAMA=../../runtime ../../src/Driver.exe -i generated00095.lama < generated00095.input
> > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00096.lama < generated00096.input
> > 164
$ LAMA=../../runtime ../../src/Driver.exe -i generated00097.lama < generated00097.input
> > 44
$ LAMA=../../runtime ../../src/Driver.exe -i generated00098.lama < generated00098.input
> > 217
$ LAMA=../../runtime ../../src/Driver.exe -i generated00099.lama < generated00099.input
> > 58
20 changes: 20 additions & 0 deletions regression/expressions/generated0010x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00100.lama < generated00100.input
> > 78
$ LAMA=../../runtime ../../src/Driver.exe -i generated00101.lama < generated00101.input
> > 17
$ LAMA=../../runtime ../../src/Driver.exe -i generated00102.lama < generated00102.input
> > 108
$ LAMA=../../runtime ../../src/Driver.exe -i generated00103.lama < generated00103.input
> > 17
$ LAMA=../../runtime ../../src/Driver.exe -i generated00104.lama < generated00104.input
> > 186
$ LAMA=../../runtime ../../src/Driver.exe -i generated00105.lama < generated00105.input
> > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00106.lama < generated00106.input
> > 112
$ LAMA=../../runtime ../../src/Driver.exe -i generated00107.lama < generated00107.input
> > 201
$ LAMA=../../runtime ../../src/Driver.exe -i generated00108.lama < generated00108.input
> > 530
$ LAMA=../../runtime ../../src/Driver.exe -i generated00109.lama < generated00109.input
> > 104
20 changes: 20 additions & 0 deletions regression/expressions/generated0011x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00110.lama < generated00110.input
> > 95
$ LAMA=../../runtime ../../src/Driver.exe -i generated00111.lama < generated00111.input
> > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00112.lama < generated00112.input
> > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00113.lama < generated00113.input
> > 41
$ LAMA=../../runtime ../../src/Driver.exe -i generated00114.lama < generated00114.input
> > 569
$ LAMA=../../runtime ../../src/Driver.exe -i generated00115.lama < generated00115.input
> > 17
$ LAMA=../../runtime ../../src/Driver.exe -i generated00116.lama < generated00116.input
> > 83
$ LAMA=../../runtime ../../src/Driver.exe -i generated00117.lama < generated00117.input
> > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00118.lama < generated00118.input
> > -535
$ LAMA=../../runtime ../../src/Driver.exe -i generated00119.lama < generated00119.input
> > 31
20 changes: 20 additions & 0 deletions regression/expressions/generated0012x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00120.lama < generated00120.input
> > 901
$ LAMA=../../runtime ../../src/Driver.exe -i generated00121.lama < generated00121.input
> > 165
$ LAMA=../../runtime ../../src/Driver.exe -i generated00122.lama < generated00122.input
> > -17
$ LAMA=../../runtime ../../src/Driver.exe -i generated00123.lama < generated00123.input
> > -45
$ LAMA=../../runtime ../../src/Driver.exe -i generated00124.lama < generated00124.input
> > 915
$ LAMA=../../runtime ../../src/Driver.exe -i generated00125.lama < generated00125.input
> > 74
$ LAMA=../../runtime ../../src/Driver.exe -i generated00126.lama < generated00126.input
> > 523
$ LAMA=../../runtime ../../src/Driver.exe -i generated00127.lama < generated00127.input
> > 91
$ LAMA=../../runtime ../../src/Driver.exe -i generated00128.lama < generated00128.input
> > -24
$ LAMA=../../runtime ../../src/Driver.exe -i generated00129.lama < generated00129.input
> > 0
20 changes: 20 additions & 0 deletions regression/expressions/generated0013x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00130.lama < generated00130.input
> > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00131.lama < generated00131.input
> > 149
$ LAMA=../../runtime ../../src/Driver.exe -i generated00132.lama < generated00132.input
> > -1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00133.lama < generated00133.input
> > -14
$ LAMA=../../runtime ../../src/Driver.exe -i generated00134.lama < generated00134.input
> > 57
$ LAMA=../../runtime ../../src/Driver.exe -i generated00135.lama < generated00135.input
> > 1844
$ LAMA=../../runtime ../../src/Driver.exe -i generated00136.lama < generated00136.input
> > 99
$ LAMA=../../runtime ../../src/Driver.exe -i generated00137.lama < generated00137.input
> > 83
$ LAMA=../../runtime ../../src/Driver.exe -i generated00138.lama < generated00138.input
> > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00139.lama < generated00139.input
> > -29
20 changes: 20 additions & 0 deletions regression/expressions/generated0014x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00140.lama < generated00140.input
> > 114
$ LAMA=../../runtime ../../src/Driver.exe -i generated00141.lama < generated00141.input
> > -2
$ LAMA=../../runtime ../../src/Driver.exe -i generated00142.lama < generated00142.input
> > 2179
$ LAMA=../../runtime ../../src/Driver.exe -i generated00143.lama < generated00143.input
> > 5
$ LAMA=../../runtime ../../src/Driver.exe -i generated00144.lama < generated00144.input
> > -22
$ LAMA=../../runtime ../../src/Driver.exe -i generated00145.lama < generated00145.input
> > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00146.lama < generated00146.input
> > 172
$ LAMA=../../runtime ../../src/Driver.exe -i generated00147.lama < generated00147.input
> > -30
$ LAMA=../../runtime ../../src/Driver.exe -i generated00148.lama < generated00148.input
> > 2023
$ LAMA=../../runtime ../../src/Driver.exe -i generated00149.lama < generated00149.input
> > 34
20 changes: 20 additions & 0 deletions regression/expressions/generated0015x.t
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
$ LAMA=../../runtime ../../src/Driver.exe -i generated00150.lama < generated00150.input
> > 223
$ LAMA=../../runtime ../../src/Driver.exe -i generated00151.lama < generated00151.input
> > 87
$ LAMA=../../runtime ../../src/Driver.exe -i generated00152.lama < generated00152.input
> > 17
$ LAMA=../../runtime ../../src/Driver.exe -i generated00153.lama < generated00153.input
> > 173
$ LAMA=../../runtime ../../src/Driver.exe -i generated00154.lama < generated00154.input
> > 22
$ LAMA=../../runtime ../../src/Driver.exe -i generated00155.lama < generated00155.input
> > -190
$ LAMA=../../runtime ../../src/Driver.exe -i generated00156.lama < generated00156.input
> > 799
$ LAMA=../../runtime ../../src/Driver.exe -i generated00157.lama < generated00157.input
> > 2494
$ LAMA=../../runtime ../../src/Driver.exe -i generated00158.lama < generated00158.input
> > 37
$ LAMA=../../runtime ../../src/Driver.exe -i generated00159.lama < generated00159.input
> > 18
Loading

0 comments on commit 0ac51d1

Please sign in to comment.