diff options
author | Chimrod <> | 2023-11-04 17:16:16 +0100 |
---|---|---|
committer | Chimrod <> | 2023-11-04 17:16:16 +0100 |
commit | 6ada3862d96f82e44b3b19dd84d08cbb8c6a6006 (patch) | |
tree | e2fa4e223c4ce0f3945af76f9e82e887b307a95b /lib/syntax/S.ml | |
parent | 673da2554d3e667e0a62d5c7bbf30999f1295dc1 (diff) |
Allow test to be enabled or disabled by command line
Diffstat (limited to 'lib/syntax/S.ml')
-rw-r--r-- | lib/syntax/S.ml | 6 |
1 files changed, 6 insertions, 0 deletions
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' |