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