Add a generic rule to ease the proof lanuching

74108c3b · erwan · 2d9fc4bc · 74108c3b
Commit 74108c3b authored 3 years ago by erwan
--- 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) $<