1 files changed, 2 insertions, 2 deletions

diff --git a/test/dune b/test/dune
index 66418bb..0c5313b 100644
--- a/test/dune
+++ b/test/dune
@@ -1,3 +1,3 @@
-(test
- (name test_term)
+(tests
+ (names test_term test_vm)
  (libraries sol zarith alcotest))