st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-06 06:48:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix script to generate tests

Browse source 
Signed-off-by: Kakadu <Kakadu@pm.me>
This commit is contained in:
Kakadu 2024-08-31 12:02:03 +03:00
parent e167734a27
commit 55d595600d
1 changed files with 45 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

66
regression/expressions/gen.ml
View file

@ -1,24 +1,48 @@
(* let () =
let lamas = List.filter (String.ends_with ~suffix:".lama") (Sys.readdir "." |> Array.to_list)
|> List.sort String.compare in
(* List.iter print_endline lamas; *)
()
*)
let count = 10000
let () = let () =
for i=0 to 2 do Out_channel.with_open_text "dune" (fun dunech ->
let test = In_channel.with_open_text (Printf.sprintf "generated%05d.input" i) In_channel.input_all in Printf.fprintf dunech "(cram (deps ../../src/Driver.exe ../../runtime/Std.i))\n\n";
let test = String.split_on_char '\n' test for i=0 to count / 10 do
(* |> List.filter ((<>)"") *) (* let dunebuf = Buffer.create 100 in *)
in let cram_buf = Buffer.create 100 in
let cram_file = Printf.sprintf "r%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
Out_channel.with_open_text (Printf.sprintf "r%05d.t" i) (fun ch -> if Sys.file_exists lama_file then
Printf.fprintf ch " $ cat > test.input <<EOF\n"; let test =
List.iter (Printf.fprintf ch " > %s\n") test; In_channel.with_open_text (Printf.sprintf "generated%05d.input" k) In_channel.input_all
Printf.fprintf ch " > EOF\n"; |> String.split_on_char '\n' |> List.filter ((<>)"")
Printf.fprintf ch " $ cat test.input\n"; in
Printf.fprintf ch " $ ls -l\n"; (
Printf.fprintf ch " $ LAMA=../../runtime ../../src/Driver.exe -i generated%05d.lama" i deps := lama_file :: !deps;
) Printf.bprintf cram_buf " $ cat > test.input <<EOF\n";
done List.iter (Printf.bprintf cram_buf " > %s\n") test;
Printf.bprintf cram_buf " > EOF\n";
(* Printf.fprintf ch " $ cat test.input\n";
Printf.fprintf ch " $ ls -l\n"; *)
Printf.bprintf cram_buf " $ LAMA=../../runtime ../../src/Driver.exe -i generated%05d.lama < test.input\n" 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);
Out_channel.with_open_text cram_file (fun ch ->
output_string ch (Buffer.contents cram_buf)
)
)
done
)
(*
let () =
for i=0 to count do
if Sys.file_exists (Printf.sprintf "generated%05d.lama" i) then
(Printf.fprintf ch "(cram (applies_to r%05d)\n" i;
Printf.fprintf ch " (deps generated%05d.lama))\n%!" i;)
done *)