path: root/test/dune

(tests
 (names test_term test_vm)
 (libraries sol zarith alcotest))