mecanism for test filtering

ocaml · Jul 18, 2024 · 8b61fd0 · 8b61fd0
1 parent bb9af6e
commit 8b61fd0
Show file tree

Hide file tree

Showing 4 changed files with 297 additions and 44 deletions.
diff --git a/Makefile b/Makefile
@@ -237,7 +237,11 @@ reftest-runner: $(DUNE_DEP) src/client/no-git-version
 	$(DUNE) build $(DUNE_ARGS) $(DUNE_PROFILE_ARG) --root . tests/reftests/run.exe
 
 reftests: $(DUNE_DEP) src/client/no-git-version
-	@$(DUNE) build $(DUNE_ARGS) $(DUNE_PROFILE_ARG) --root . @reftest; \
+	@ $(DUNE) build $(DUNE_ARGS) $(DUNE_PROFILE_ARG) --root . @reftest; \
+	$(tests-summary)
+
+quick-reftests: $(DUNE_DEP) src/client/no-git-version
+	@ TESTALL=0 TESTN0REP0=1 $(DUNE) build $(DUNE_ARGS) $(DUNE_PROFILE_ARG) --root . @reftest; \
 	$(tests-summary)
 
 reftest-%: $(DUNE_DEP) src/client/no-git-version