Skip to content

Commit

Permalink
Promote many regression tests
Browse files Browse the repository at this point in the history 
Signed-off-by: Kakadu <Kakadu@pm.me>
  • Loading branch information
@Kakadu
Kakadu committed Nov 15, 2024
1 parent 708022f commit c3cc26c
Show file tree
Hide file tree
Showing 1,136 changed files with 22,116 additions and 22,178 deletions.
4 changes: 2 additions & 2 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ install: all
dune b @install --profile=release
dune install --profile=release

_build/default/Lama.install:
_build/default/Lama.install:
dune b @install

uninstall: _build/default/Lama.install
Expand All @@ -28,7 +28,7 @@ regression-all: regression regression-expressions

test: regression
regression:
dune test regression
dune test regression stdlib/regression

regression-expressions:
dune test regression_long
Expand Down
2 changes: 1 addition & 1 deletion regression_long/deep-expressions/gen.ml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ let () =

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
cram_printfn " $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated%05d.lama < generated%05d.input" k k
)
done;
match !deps with
Expand Down
40 changes: 20 additions & 20 deletions regression_long/deep-expressions/generated0000x.t
View file
Original file line number Diff line number Diff line change
@@ -1,22 +1,22 @@
; This file was auto generated

$ LAMA=../../runtime ../../src/Driver.exe -i generated00000.lama < generated00000.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00001.lama < generated00001.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00002.lama < generated00002.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00003.lama < generated00003.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00004.lama < generated00004.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00005.lama < generated00005.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00006.lama < generated00006.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00007.lama < generated00007.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00008.lama < generated00008.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00009.lama < generated00009.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00000.lama < generated00000.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00001.lama < generated00001.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00002.lama < generated00002.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00003.lama < generated00003.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00004.lama < generated00004.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00005.lama < generated00005.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00006.lama < generated00006.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00007.lama < generated00007.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00008.lama < generated00008.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00009.lama < generated00009.input
> > > > 1
40 changes: 20 additions & 20 deletions regression_long/deep-expressions/generated0001x.t
View file
Original file line number Diff line number Diff line change
@@ -1,22 +1,22 @@
; This file was auto generated

$ LAMA=../../runtime ../../src/Driver.exe -i generated00010.lama < generated00010.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00011.lama < generated00011.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00012.lama < generated00012.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00013.lama < generated00013.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00014.lama < generated00014.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00015.lama < generated00015.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00016.lama < generated00016.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00017.lama < generated00017.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00018.lama < generated00018.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00019.lama < generated00019.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00010.lama < generated00010.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00011.lama < generated00011.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00012.lama < generated00012.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00013.lama < generated00013.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00014.lama < generated00014.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00015.lama < generated00015.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00016.lama < generated00016.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00017.lama < generated00017.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00018.lama < generated00018.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00019.lama < generated00019.input
> > > > 1
40 changes: 20 additions & 20 deletions regression_long/deep-expressions/generated0002x.t
View file
Original file line number Diff line number Diff line change
@@ -1,22 +1,22 @@
; This file was auto generated

$ LAMA=../../runtime ../../src/Driver.exe -i generated00020.lama < generated00020.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00021.lama < generated00021.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00022.lama < generated00022.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00023.lama < generated00023.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00024.lama < generated00024.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00025.lama < generated00025.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00026.lama < generated00026.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00027.lama < generated00027.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00028.lama < generated00028.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00029.lama < generated00029.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00020.lama < generated00020.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00021.lama < generated00021.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00022.lama < generated00022.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00023.lama < generated00023.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00024.lama < generated00024.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00025.lama < generated00025.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00026.lama < generated00026.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00027.lama < generated00027.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00028.lama < generated00028.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00029.lama < generated00029.input
> > > > 0
40 changes: 20 additions & 20 deletions regression_long/deep-expressions/generated0003x.t
View file
Original file line number Diff line number Diff line change
@@ -1,22 +1,22 @@
; This file was auto generated

$ LAMA=../../runtime ../../src/Driver.exe -i generated00030.lama < generated00030.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00031.lama < generated00031.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00032.lama < generated00032.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00033.lama < generated00033.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00034.lama < generated00034.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00035.lama < generated00035.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00036.lama < generated00036.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00037.lama < generated00037.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00038.lama < generated00038.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00039.lama < generated00039.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00030.lama < generated00030.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00031.lama < generated00031.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00032.lama < generated00032.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00033.lama < generated00033.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00034.lama < generated00034.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00035.lama < generated00035.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00036.lama < generated00036.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00037.lama < generated00037.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00038.lama < generated00038.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00039.lama < generated00039.input
> > > > 1
40 changes: 20 additions & 20 deletions regression_long/deep-expressions/generated0004x.t
View file
Original file line number Diff line number Diff line change
@@ -1,22 +1,22 @@
; This file was auto generated

$ LAMA=../../runtime ../../src/Driver.exe -i generated00040.lama < generated00040.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00041.lama < generated00041.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00042.lama < generated00042.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00043.lama < generated00043.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00044.lama < generated00044.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00045.lama < generated00045.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00046.lama < generated00046.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00047.lama < generated00047.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00048.lama < generated00048.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00049.lama < generated00049.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00040.lama < generated00040.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00041.lama < generated00041.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00042.lama < generated00042.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00043.lama < generated00043.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00044.lama < generated00044.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00045.lama < generated00045.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00046.lama < generated00046.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00047.lama < generated00047.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00048.lama < generated00048.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00049.lama < generated00049.input
> > > > 0
40 changes: 20 additions & 20 deletions regression_long/deep-expressions/generated0005x.t
View file
Original file line number Diff line number Diff line change
@@ -1,22 +1,22 @@
; This file was auto generated

$ LAMA=../../runtime ../../src/Driver.exe -i generated00050.lama < generated00050.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00051.lama < generated00051.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00052.lama < generated00052.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00053.lama < generated00053.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00054.lama < generated00054.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00055.lama < generated00055.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00056.lama < generated00056.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00057.lama < generated00057.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00058.lama < generated00058.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00059.lama < generated00059.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00050.lama < generated00050.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00051.lama < generated00051.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00052.lama < generated00052.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00053.lama < generated00053.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00054.lama < generated00054.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00055.lama < generated00055.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00056.lama < generated00056.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00057.lama < generated00057.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00058.lama < generated00058.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00059.lama < generated00059.input
> > > > 1
40 changes: 20 additions & 20 deletions regression_long/deep-expressions/generated0006x.t
View file
Original file line number Diff line number Diff line change
@@ -1,22 +1,22 @@
; This file was auto generated

$ LAMA=../../runtime ../../src/Driver.exe -i generated00060.lama < generated00060.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00061.lama < generated00061.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00062.lama < generated00062.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00063.lama < generated00063.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00064.lama < generated00064.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00065.lama < generated00065.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00066.lama < generated00066.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00067.lama < generated00067.input
> > > > 0
$ LAMA=../../runtime ../../src/Driver.exe -i generated00068.lama < generated00068.input
> > > > 1
$ LAMA=../../runtime ../../src/Driver.exe -i generated00069.lama < generated00069.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00060.lama < generated00060.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00061.lama < generated00061.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00062.lama < generated00062.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00063.lama < generated00063.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00064.lama < generated00064.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00065.lama < generated00065.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00066.lama < generated00066.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00067.lama < generated00067.input
> > > > 0
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00068.lama < generated00068.input
> > > > 1
$ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00069.lama < generated00069.input
> > > > 1
Loading

0 comments on commit c3cc26c

Please sign in to comment.