Merge pull request #336 from mcmasterg/intpips_harder

intpips: try harder, even though diminshing returns
This commit is contained in:
John McMaster 2018-12-17 14:40:50 -08:00 committed by GitHub
commit bb8665f959
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -12,7 +12,7 @@ ITER := 1
MAKETODO_FLAGS=--re ".*" --not-endswith ".VCC_WIRE"
# See int_loop_check.py
# Original did 200 specimins open loop
CHECK_ARGS := --max-iters 6 --stable-iters 3
CHECK_ARGS := --max-iters 12 --stable-iters 2
SPECIMENS := $(addprefix build/$(ITER)/specimen_,$(shell seq -f '%03.0f' $(N)))
SPECIMENS_OK := $(addsuffix /OK,$(SPECIMENS))
# Individual fuzzer directory, such as ~/prjxray/fuzzers/010-lutinit