diff --git a/src/kernel_internals/parsing/tests/check_logic_parser.ml b/src/kernel_internals/parsing/tests/check_logic_parser.ml
index 533739faa9f734dc3b785f61bf6045ac10ed67ba..38280b55d07b831d7dfdc3c5864bd4baee1c88f5 100644
--- a/src/kernel_internals/parsing/tests/check_logic_parser.ml
+++ b/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)
 
diff --git a/src/kernel_internals/parsing/tests/dune b/src/kernel_internals/parsing/tests/dune
index a781af5dae00d77537ebacdfc7e8b97e658cd76a..c70bd4b97d48b14a94c41016f7fb9cdb85630160 100644
--- a/src/kernel_internals/parsing/tests/dune
+++ b/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)
+)