From 6f14e8c699169aa11ea9c106f8cae1ba593569d0 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 22 May 2024 15:11:28 +0200
Subject: Add simple test runner

---
 tests/test_runner/run_test.ml | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 tests/test_runner/run_test.ml

(limited to 'tests/test_runner/run_test.ml')

diff --git a/tests/test_runner/run_test.ml b/tests/test_runner/run_test.ml
new file mode 100644
index 00000000..379abe04
--- /dev/null
+++ b/tests/test_runner/run_test.ml
@@ -0,0 +1,30 @@
+let concat_path = List.fold_left Filename.concat ""
+
+let () =
+  match Array.to_list Sys.argv with
+  (* Ad-hoc argument passing for now. *)
+  | _exe_path :: aeneas_path :: tests_dir :: test_name :: subdir :: backend
+    :: options ->
+      let input_file = concat_path [ tests_dir; "llbc"; test_name ] ^ ".llbc" in
+      let dest_dir = concat_path [ "tests"; backend; subdir ] in
+      let args =
+        [| aeneas_path; input_file; "-dest"; dest_dir; "-backend"; backend |]
+      in
+      let args = Array.append args (Array.of_list options) in
+
+      (* Debug arguments *)
+      print_string "[test_runner] Running: ";
+      Array.iter
+        (fun x ->
+          print_string x;
+          print_string " ")
+        args;
+      print_endline "";
+
+      (* Run Aeneas *)
+      let pid =
+        Unix.create_process aeneas_path args Unix.stdin Unix.stdout Unix.stderr
+      in
+      let _ = Unix.waitpid [] pid in
+      ()
+  | _ -> ()
-- 
cgit v1.2.3