diff options
author | Nadrieril | 2024-05-22 15:11:28 +0200 |
---|---|---|
committer | Guillaume Boisseau | 2024-05-24 14:24:38 +0200 |
commit | 6f14e8c699169aa11ea9c106f8cae1ba593569d0 (patch) | |
tree | 35e539becc5a8c6642eb3c37a851b25c0ccdffa1 /tests/test_runner/dune | |
parent | ad819ad9ccdf137ca87eb367810694246696b835 (diff) |
Add simple test runner
Diffstat (limited to '')
-rw-r--r-- | tests/test_runner/dune | 4 | ||||
-rw-r--r-- | tests/test_runner/dune-project | 25 |
2 files changed, 29 insertions, 0 deletions
diff --git a/tests/test_runner/dune b/tests/test_runner/dune new file mode 100644 index 00000000..7da7a96d --- /dev/null +++ b/tests/test_runner/dune @@ -0,0 +1,4 @@ +(executable + (public_name test_runner) + (libraries unix) + (name run_test)) diff --git a/tests/test_runner/dune-project b/tests/test_runner/dune-project new file mode 100644 index 00000000..c614e923 --- /dev/null +++ b/tests/test_runner/dune-project @@ -0,0 +1,25 @@ +(lang dune 3.12) + +(name aeneas_test_runner) + +(version 0.1) + +(generate_opam_files true) + +(source + (uri git+https://github.com/AeneasVerif/aeneas.git)) + +(homepage "https://github.com/AeneasVerif/aeneas") + +(bug_reports "https://github.com/AeneasVerif/aeneas/issues") + +(authors + "Son Ho" + "Guillaume Boisseau") + +(license Apache-2.0) + +(package + (name aeneas_test_runner) + (depends ocaml dune) +) |