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 --- lib/syntax/S.ml | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'lib/syntax/S.ml') diff --git a/lib/syntax/S.ml b/lib/syntax/S.ml index a961738..afb6526 100644 --- a/lib/syntax/S.ml +++ b/lib/syntax/S.ml @@ -104,7 +104,13 @@ end module type Analyzer = sig val identifier : string + (** Identifier for the module *) + val description : string + (** Short description*) + + val active : bool ref + (** Is the test active or not *) module Expression : Expression module Instruction : Instruction with type expression = Expression.t' -- cgit v1.2.3