From f13e99ab1a67c4c4a8c9dec72d0c6bf52871e722 Mon Sep 17 00:00:00 2001 From: Patrick Pelissier Date: Thu, 7 Jul 2022 22:09:51 +0200 Subject: [PATCH] Add coverage computation for tree --- tests/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/Makefile b/tests/Makefile index 0ccf197f..40c887e6 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -192,6 +192,7 @@ SYNTHESIS_DATA= M-ALGO test-malgo.c.c test-malgo.synt \ M-SHARED test-mshared.c.c test-mshared.synt \ M-SNAPSHOT test-msnapshot.c.c test-msnapshot.synt \ M-STRING ../m-string.h test-mstring.synt \ + M-TREE test-mtree.c.c test-mtree.synt \ M-TUPLE test-mtuple.c.c test-mtuple.synt \ M-VARIANT test-mvariant.c.c test-mvariant.synt \ M-WORKER ../m-worker.h test-mworker.synt