From 6ada3862d96f82e44b3b19dd84d08cbb8c6a6006 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sat, 4 Nov 2023 17:16:16 +0100
Subject: Allow test to be enabled or disabled by command line

---
 bin/args.mli | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'bin/args.mli')

diff --git a/bin/args.mli b/bin/args.mli
index cffd0d0..fb15542 100644
--- a/bin/args.mli
+++ b/bin/args.mli
@@ -3,4 +3,7 @@ type filters = { level : Qsp_syntax.Report.level option }
 type t = { reset_line : bool; filters : filters }
 (** All the arguments given from the command line *)
 
-val parse : list_tests:(Format.formatter -> unit) -> string list * t
+val parse :
+  modules:Qsp_syntax.Check.t list ->
+  list_tests:(Format.formatter -> unit) ->
+  string list * t
-- 
cgit v1.2.3