diff options
| author | Nadrieril | 2024-05-23 10:41:10 +0200 |
|---|---|---|
| committer | Guillaume Boisseau | 2024-05-24 14:24:38 +0200 |
| commit | 4ce3e9c7c11744abae52d7a3ae1a3962395784be (patch) | |
| tree | c7493aad307c35034930ff9d2abe962d993c81fa /tests/test_runner | |
| parent | b8bdf14f3e4b25578d107160161f5bd2b548a113 (diff) | |
Import test suite from charon
Diffstat (limited to 'tests/test_runner')
| -rw-r--r-- | tests/test_runner/run_test.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 = [| |