From 673da2554d3e667e0a62d5c7bbf30999f1295dc1 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sat, 4 Nov 2023 11:54:08 +0100
Subject: List all the available tests on command line

---
 lib/syntax/check.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'lib/syntax/check.ml')

diff --git a/lib/syntax/check.ml b/lib/syntax/check.ml
index a7095fc..59eaaf1 100644
--- a/lib/syntax/check.ml
+++ b/lib/syntax/check.ml
@@ -83,6 +83,9 @@ let build :
   in
   (location_witness, t)
 
+let get_module : t -> (module S.Analyzer) =
+ fun (E { module_; _ }) -> (module_ :> (module S.Analyzer))
+
 module type App = sig
   val t : t array
 end
@@ -105,6 +108,9 @@ module Helper = struct
 end
 
 module Make (A : App) = struct
+  let identifier = "main_checker"
+  let description = "Internal module"
+
   (* Global variable for the whole module *)
   let len = Array.length A.t
 
-- 
cgit v1.2.3