From 86106f182b93d33e8ec6de80d1ae301777e3b680 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 16 Sep 2022 21:08:58 -0400
Subject: [PATCH] chore: makefile targets for some incremental benchs

---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile b/Makefile
index 3f30014d..86c51c9d 100644
--- a/Makefile
+++ b/Makefile
@@ -66,6 +66,12 @@ $(TESTTOOL)-smt-QF_LIA: sidekick snapshots
 $(TESTTOOL)-smt-QF_UFLIA: sidekick snapshots
 	$(TESTTOOL) run $(TESTOPTS) \
 	  --csv snapshots/smt-QF_LRA-$(DATE).csv --task sidekick-smt-nodir tests/QF_UFLIA
+$(TESTTOOL)-smt-QF_UF-incr: sidekick snapshots
+	$(TESTTOOL) run $(TESTOPTS) \
+	  --csv snapshots/smt-QF_UF-incr-$(DATE).csv --task sidekick-smt-nodir tests/incr/QF_UF
+$(TESTTOOL)-smt-QF_LRA-incr: sidekick snapshots
+	$(TESTTOOL) run $(TESTOPTS) \
+	  --csv snapshots/smt-QF_LRA-incr-$(DATE).csv --task sidekick-smt-nodir tests/incr/QF_LRA
 
 install: build-install
 	@dune install