List all the available tests on command line

1 files changed, 6 insertions, 0 deletions

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