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