From 673da2554d3e667e0a62d5c7bbf30999f1295dc1 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Sat, 4 Nov 2023 11:54:08 +0100 Subject: List all the available tests on command line --- lib/syntax/dead_end.ml | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lib/syntax/dead_end.ml') diff --git a/lib/syntax/dead_end.ml b/lib/syntax/dead_end.ml index 042e640..bb56b2f 100644 --- a/lib/syntax/dead_end.ml +++ b/lib/syntax/dead_end.ml @@ -1,5 +1,8 @@ open StdLabels +let identifier = "dead_end" +let description = "Check for dead end in the code" + module Expression = struct type t = unit type t' = unit -- cgit v1.2.3