From 74108c3ba7144099870b3d1d9edea4b8cca46431 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Thu, 13 May 2021 10:18:41 +0200
Subject: [PATCH] Add a generic rule to ease the proof lanuching

---
 test/Makefile.inc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/test/Makefile.inc b/test/Makefile.inc
index 3d0a43b8..821770eb 100644
--- a/test/Makefile.inc
+++ b/test/Makefile.inc
@@ -29,6 +29,10 @@ test: $(TOPOLOGY).cmxs $(TOPOLOGY).lus
 verify: $(TOPOLOGY)_verify.lv4
 	kind2 -v $<
 
+%.verify: %_verify.lv4
+	kind2  $<
+
+
 $(TOPOLOGY).lus: $(TOPOLOGY).dot
 	$(D2L) $(DOT2LUSFLAGS) $<
 
-- 
GitLab