diff options
| author | Chimrod <> | 2024-12-02 09:05:18 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-12-02 09:05:18 +0100 |
| commit | 53c02501935b3cb2db78e79deb4d38c997505a95 (patch) | |
| tree | 88a75e012ee186ffb6c6e3e0c53ba80610ec3b0b /bin/args.ml | |
| parent | 9e7b9de243e488e15d2c7528ce64e569eba8add2 (diff) | |
Moved the checks in a dedicated library
Diffstat (limited to 'bin/args.ml')
| -rw-r--r-- | bin/args.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/args.ml b/bin/args.ml index 54751c8..b124575 100644 --- a/bin/args.ml +++ b/bin/args.ml @@ -29,7 +29,7 @@ let disable_module modules identifier = String.sub identifier ~pos:1 ~len:(String.length identifier - 1) in List.iter modules ~f:(fun t -> - let (module C : Qsp_syntax.S.Analyzer) = Qsp_syntax.Check.get_module t in + let (module C : Qsp_syntax.S.Analyzer) = Qsp_checks.Check.get_module t in if String.equal C.identifier identifier then C.active := false) let enable_module modules identifier = @@ -37,7 +37,7 @@ let enable_module modules identifier = String.sub identifier ~pos:1 ~len:(String.length identifier - 1) in List.iter modules ~f:(fun t -> - let (module C : Qsp_syntax.S.Analyzer) = Qsp_syntax.Check.get_module t in + let (module C : Qsp_syntax.S.Analyzer) = Qsp_checks.Check.get_module t in if String.equal C.identifier identifier then C.active := true) let speclist printer = @@ -74,7 +74,7 @@ let speclist printer = common_arguments @ windows_arguments let parse : - modules:Qsp_syntax.Check.t list -> + modules:Qsp_checks.Check.t list -> list_tests:(Format.formatter -> unit) -> string list * t = fun ~modules ~list_tests -> |