10000 expressions: remove .input files, add .t files

Signed-off-by: Kakadu <[email protected]>
PLTools · Aug 31, 2024 · 4ba1932 · 4ba1932
1 parent d2c17f6
commit 4ba1932
Show file tree

Hide file tree

Showing 11,001 changed files with 61,738 additions and 20,000 deletions.
diff --git a/regression/expressions/dune b/regression/expressions/dune
diff --git a/regression/expressions/generated00000.input b/regression/expressions/generated00000.input
diff --git a/regression/expressions/generated00001.input b/regression/expressions/generated00001.input
diff --git a/regression/expressions/generated00002.input b/regression/expressions/generated00002.input
diff --git a/regression/expressions/generated00003.input b/regression/expressions/generated00003.input
diff --git a/regression/expressions/generated00004.input b/regression/expressions/generated00004.input
diff --git a/regression/expressions/generated00005.input b/regression/expressions/generated00005.input
diff --git a/regression/expressions/generated00006.input b/regression/expressions/generated00006.input
diff --git a/regression/expressions/generated00007.input b/regression/expressions/generated00007.input
diff --git a/regression/expressions/generated00008.input b/regression/expressions/generated00008.input
diff --git a/regression/expressions/generated00009.input b/regression/expressions/generated00009.input
diff --git a/regression/expressions/generated00010.input b/regression/expressions/generated00010.input
diff --git a/regression/expressions/generated00011.input b/regression/expressions/generated00011.input
diff --git a/regression/expressions/generated00012.input b/regression/expressions/generated00012.input
diff --git a/regression/expressions/generated00013.input b/regression/expressions/generated00013.input
diff --git a/regression/expressions/generated00014.input b/regression/expressions/generated00014.input
diff --git a/regression/expressions/generated00015.input b/regression/expressions/generated00015.input
diff --git a/regression/expressions/generated00016.input b/regression/expressions/generated00016.input
diff --git a/regression/expressions/generated00017.input b/regression/expressions/generated00017.input
diff --git a/regression/expressions/generated00018.input b/regression/expressions/generated00018.input
diff --git a/regression/expressions/generated00019.input b/regression/expressions/generated00019.input
diff --git a/regression/expressions/generated00020.input b/regression/expressions/generated00020.input
diff --git a/regression/expressions/generated00021.input b/regression/expressions/generated00021.input
diff --git a/regression/expressions/generated00022.input b/regression/expressions/generated00022.input
diff --git a/regression/expressions/generated00023.input b/regression/expressions/generated00023.input
diff --git a/regression/expressions/generated00024.input b/regression/expressions/generated00024.input
diff --git a/regression/expressions/generated00025.input b/regression/expressions/generated00025.input
diff --git a/regression/expressions/generated00026.input b/regression/expressions/generated00026.input
diff --git a/regression/expressions/generated00027.input b/regression/expressions/generated00027.input
diff --git a/regression/expressions/generated00028.input b/regression/expressions/generated00028.input
diff --git a/regression/expressions/generated00029.input b/regression/expressions/generated00029.input
diff --git a/regression/expressions/generated00030.input b/regression/expressions/generated00030.input
diff --git a/regression/expressions/generated00031.input b/regression/expressions/generated00031.input
diff --git a/regression/expressions/generated00032.input b/regression/expressions/generated00032.input
diff --git a/regression/expressions/generated00033.input b/regression/expressions/generated00033.input
diff --git a/regression/expressions/generated00034.input b/regression/expressions/generated00034.input
diff --git a/regression/expressions/generated00035.input b/regression/expressions/generated00035.input
diff --git a/regression/expressions/generated00036.input b/regression/expressions/generated00036.input
diff --git a/regression/expressions/generated00037.input b/regression/expressions/generated00037.input
diff --git a/regression/expressions/generated00038.input b/regression/expressions/generated00038.input
diff --git a/regression/expressions/generated00039.input b/regression/expressions/generated00039.input
diff --git a/regression/expressions/generated00040.input b/regression/expressions/generated00040.input
diff --git a/regression/expressions/generated00041.input b/regression/expressions/generated00041.input
diff --git a/regression/expressions/generated00042.input b/regression/expressions/generated00042.input
diff --git a/regression/expressions/generated00043.input b/regression/expressions/generated00043.input
diff --git a/regression/expressions/generated00044.input b/regression/expressions/generated00044.input
diff --git a/regression/expressions/generated00045.input b/regression/expressions/generated00045.input
diff --git a/regression/expressions/generated00046.input b/regression/expressions/generated00046.input
diff --git a/regression/expressions/generated00047.input b/regression/expressions/generated00047.input
diff --git a/regression/expressions/generated00048.input b/regression/expressions/generated00048.input
diff --git a/regression/expressions/generated00049.input b/regression/expressions/generated00049.input
diff --git a/regression/expressions/generated00050.input b/regression/expressions/generated00050.input
diff --git a/regression/expressions/generated00051.input b/regression/expressions/generated00051.input
diff --git a/regression/expressions/generated00052.input b/regression/expressions/generated00052.input
diff --git a/regression/expressions/generated00053.input b/regression/expressions/generated00053.input
diff --git a/regression/expressions/generated00054.input b/regression/expressions/generated00054.input
diff --git a/regression/expressions/generated00055.input b/regression/expressions/generated00055.input
diff --git a/regression/expressions/generated00056.input b/regression/expressions/generated00056.input
diff --git a/regression/expressions/generated00057.input b/regression/expressions/generated00057.input
diff --git a/regression/expressions/generated00058.input b/regression/expressions/generated00058.input
diff --git a/regression/expressions/generated00059.input b/regression/expressions/generated00059.input
diff --git a/regression/expressions/generated00060.input b/regression/expressions/generated00060.input
diff --git a/regression/expressions/generated00061.input b/regression/expressions/generated00061.input
diff --git a/regression/expressions/generated00062.input b/regression/expressions/generated00062.input
diff --git a/regression/expressions/generated00063.input b/regression/expressions/generated00063.input
diff --git a/regression/expressions/generated00064.input b/regression/expressions/generated00064.input
diff --git a/regression/expressions/generated00065.input b/regression/expressions/generated00065.input
diff --git a/regression/expressions/generated00066.input b/regression/expressions/generated00066.input
diff --git a/regression/expressions/generated00067.input b/regression/expressions/generated00067.input
diff --git a/regression/expressions/generated00068.input b/regression/expressions/generated00068.input
diff --git a/regression/expressions/generated00069.input b/regression/expressions/generated00069.input
diff --git a/regression/expressions/generated00070.input b/regression/expressions/generated00070.input
diff --git a/regression/expressions/generated00071.input b/regression/expressions/generated00071.input
diff --git a/regression/expressions/generated00072.input b/regression/expressions/generated00072.input
diff --git a/regression/expressions/generated00073.input b/regression/expressions/generated00073.input
diff --git a/regression/expressions/generated00074.input b/regression/expressions/generated00074.input
diff --git a/regression/expressions/generated00075.input b/regression/expressions/generated00075.input
diff --git a/regression/expressions/generated00076.input b/regression/expressions/generated00076.input
diff --git a/regression/expressions/generated00077.input b/regression/expressions/generated00077.input
diff --git a/regression/expressions/generated00078.input b/regression/expressions/generated00078.input
diff --git a/regression/expressions/generated00079.input b/regression/expressions/generated00079.input
diff --git a/regression/expressions/generated00080.input b/regression/expressions/generated00080.input
diff --git a/regression/expressions/generated00081.input b/regression/expressions/generated00081.input
diff --git a/regression/expressions/generated00082.input b/regression/expressions/generated00082.input
diff --git a/regression/expressions/generated00083.input b/regression/expressions/generated00083.input
diff --git a/regression/expressions/generated00084.input b/regression/expressions/generated00084.input
diff --git a/regression/expressions/generated00085.input b/regression/expressions/generated00085.input
diff --git a/regression/expressions/generated00086.input b/regression/expressions/generated00086.input
diff --git a/regression/expressions/generated00087.input b/regression/expressions/generated00087.input
diff --git a/regression/expressions/generated00088.input b/regression/expressions/generated00088.input
diff --git a/regression/expressions/generated00089.input b/regression/expressions/generated00089.input
diff --git a/regression/expressions/generated00090.input b/regression/expressions/generated00090.input
diff --git a/regression/expressions/generated00091.input b/regression/expressions/generated00091.input
diff --git a/regression/expressions/generated00092.input b/regression/expressions/generated00092.input
diff --git a/regression/expressions/generated00093.input b/regression/expressions/generated00093.input
diff --git a/regression/expressions/generated00094.input b/regression/expressions/generated00094.input
diff --git a/regression/expressions/generated00095.input b/regression/expressions/generated00095.input
diff --git a/regression/expressions/generated00096.input b/regression/expressions/generated00096.input
diff --git a/regression/expressions/generated00097.input b/regression/expressions/generated00097.input
diff --git a/regression/expressions/generated00098.input b/regression/expressions/generated00098.input
diff --git a/regression/expressions/generated00099.input b/regression/expressions/generated00099.input
diff --git a/regression/expressions/generated00100.input b/regression/expressions/generated00100.input
diff --git a/regression/expressions/generated00101.input b/regression/expressions/generated00101.input
diff --git a/regression/expressions/generated00102.input b/regression/expressions/generated00102.input
diff --git a/regression/expressions/generated00103.input b/regression/expressions/generated00103.input
diff --git a/regression/expressions/generated00104.input b/regression/expressions/generated00104.input
diff --git a/regression/expressions/generated00105.input b/regression/expressions/generated00105.input
diff --git a/regression/expressions/generated00106.input b/regression/expressions/generated00106.input
diff --git a/regression/expressions/generated00107.input b/regression/expressions/generated00107.input
diff --git a/regression/expressions/generated00108.input b/regression/expressions/generated00108.input
diff --git a/regression/expressions/generated00109.input b/regression/expressions/generated00109.input
diff --git a/regression/expressions/generated00110.input b/regression/expressions/generated00110.input
diff --git a/regression/expressions/generated00111.input b/regression/expressions/generated00111.input
diff --git a/regression/expressions/generated00112.input b/regression/expressions/generated00112.input
diff --git a/regression/expressions/generated00113.input b/regression/expressions/generated00113.input
diff --git a/regression/expressions/generated00114.input b/regression/expressions/generated00114.input
diff --git a/regression/expressions/generated00115.input b/regression/expressions/generated00115.input
diff --git a/regression/expressions/generated00116.input b/regression/expressions/generated00116.input
diff --git a/regression/expressions/generated00117.input b/regression/expressions/generated00117.input
diff --git a/regression/expressions/generated00118.input b/regression/expressions/generated00118.input
diff --git a/regression/expressions/generated00119.input b/regression/expressions/generated00119.input
diff --git a/regression/expressions/generated00120.input b/regression/expressions/generated00120.input
diff --git a/regression/expressions/generated00121.input b/regression/expressions/generated00121.input
diff --git a/regression/expressions/generated00122.input b/regression/expressions/generated00122.input
diff --git a/regression/expressions/generated00123.input b/regression/expressions/generated00123.input
diff --git a/regression/expressions/generated00124.input b/regression/expressions/generated00124.input
diff --git a/regression/expressions/generated00125.input b/regression/expressions/generated00125.input
diff --git a/regression/expressions/generated00126.input b/regression/expressions/generated00126.input
diff --git a/regression/expressions/generated00127.input b/regression/expressions/generated00127.input
diff --git a/regression/expressions/generated00128.input b/regression/expressions/generated00128.input
diff --git a/regression/expressions/generated00129.input b/regression/expressions/generated00129.input
diff --git a/regression/expressions/generated00130.input b/regression/expressions/generated00130.input
diff --git a/regression/expressions/generated00131.input b/regression/expressions/generated00131.input
diff --git a/regression/expressions/generated00132.input b/regression/expressions/generated00132.input