From 0c5153d3f0e5a8ea6a0b8366328ed53a71f406dc Mon Sep 17 00:00:00 2001
From: protolambda <proto@protolambda.com>
Date: Tue, 30 Jul 2019 22:17:44 +0200
Subject: [PATCH] add coment about test generation config filtering to makefile

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index ecd35e84e..eeaed8898 100644
--- a/Makefile
+++ b/Makefile
@@ -103,6 +103,7 @@ define run_generator
 	# Install all the necessary requirements
 	# Run the generator. The generator is assumed to have an "main.py" file.
 	# We output to the tests dir (generator program should accept a "-o <filepath>" argument.
+	# `-l minimal general` can be added to the generator call to filter to smaller configs, when testing.
 	echo "generator $(1) started"; \
 	mkdir -p $(TEST_VECTOR_DIR); \
 	cd $(GENERATOR_DIR)/$(1); \