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