adds @run-coding-tests (that only checks the exit value)

src/kernel_internals/parsing/tests/check_logic_parser.ml

@@ -20,7 +20,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-let file = open_in "logic_parser.mly"
+let file = open_in "../logic_parser.mly"
 
 module Strings = Set.Make(String)
 

src/kernel_internals/parsing/tests/dune

@@ -21,3 +21,18 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 (include_subdirs no)
+
+(executable
+ (name check_logic_parser)
+ (libraries unix str)
+)
+
+(rule
+ (alias run-coding-tests)
+ (deps ../logic_parser.mly)
+ (action  (run %{dep:./check_logic_parser.exe})))
+
+(alias
+  (deps (alias run-coding-tests) )
+  (name ptests)
+)