dune « test_runner « tests - aeneas - aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

path: root/tests/test_runner/dune

blob: 7caf661f721f9f9111c279afbc88f30183c8decb (plain)

(executable
 (public_name test_runner)
 (libraries core_unix.sys_unix unix)
 (name run_test))