Allow test to be enabled or disabled by command line

1 files changed, 4 insertions, 1 deletions

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