From 6e8acac5fcfe64bb6ec847a7d5b4e8f5baf956fe Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Fri, 10 Jun 2022 10:12:56 +0200
Subject: [PATCH] adds @run-coding-tests (that only checks the exit value)
---
.../parsing/tests/check_logic_parser.ml | 2 +-
src/kernel_internals/parsing/tests/dune | 15 +++++++++++++++
2 files changed, 16 insertions(+), 1 deletion(-)
diff --git a/src/kernel_internals/parsing/tests/check_logic_parser.ml b/src/kernel_internals/parsing/tests/check_logic_parser.ml
index 533739faa9f..38280b55d07 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 a781af5dae0..c70bd4b97d4 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)
+)
--
GitLab