From 4ce3e9c7c11744abae52d7a3ae1a3962395784be Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 23 May 2024 10:41:10 +0200
Subject: Import test suite from charon

---
 tests/test_runner/run_test.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/test_runner')

diff --git a/tests/test_runner/run_test.ml b/tests/test_runner/run_test.ml
index d3fe8836..8b4a4208 100644
--- a/tests/test_runner/run_test.ml
+++ b/tests/test_runner/run_test.ml
@@ -12,7 +12,7 @@ type test_case = {
 (* Run Aeneas on a specific input with the given options *)
 let run_test env case =
   let concat_path = List.fold_left Filename.concat "" in
-  let input_file = concat_path [ env.llbc_dir; "llbc"; case.name ] ^ ".llbc" in
+  let input_file = concat_path [ env.llbc_dir; case.name ] ^ ".llbc" in
   let dest_dir = concat_path [ "tests"; case.backend; case.subdir ] in
   let args =
     [|
-- 
cgit v1.2.3