From c530682030e80ee2de2c263471e5eda7a3392e84 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 11 Jul 2026 03:07:56 -0300
Subject: working vm: parser, admission with totality checks, solver and repl

---
 test/dune | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test/dune')

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))
-- 
cgit v1.2.3