add coment about test generation config filtering to makefile

This commit is contained in:
protolambda 2019-07-30 22:17:44 +02:00
parent 5bdcd269ea
commit 0c5153d3f0
No known key found for this signature in database
GPG Key ID: EC89FDBB2B4C7623
1 changed files with 1 additions and 0 deletions

View File

@ -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); \