luke
/
prjxray
mirror of https://github.com/openXC7/prjxray.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #323 from mcmasterg/int_loop6 

Better int_loop logging
This commit is contained in:
John McMaster 2018-12-12 12:05:40 -08:00 committed by GitHub
parent 9f04683dc7 010edc4829
commit c5d882e1bb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
fuzzers/050-intpips/Makefile
View File

@ -7,6 +7,7 @@ N := 48
endif
# Driven by int_loop.sh
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
@ -14,7 +15,6 @@ 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
export FUZDIR=$(shell pwd)
MAKETODO_FLAGS=--re ".*" --not-endswith ".VCC_WIRE"
# Specimens from current run must complete, but previous iterations may exist
database: $(SPECIMENS_OK)
@ -28,6 +28,9 @@ database: $(SPECIMENS_OK)
ifneq ($(QUICK),Y)
${XRAY_DBFIXUP} --db-root build --clb-int
endif
# Keep a copy to track iter progress
cp build/segbits_int_l.db build/$(ITER)/segbits_int_l.db
cp build/segbits_int_r.db build/$(ITER)/segbits_int_r.db
pushdb:
${XRAY_MERGEDB} int_l build/segbits_int_l.db

5
fuzzers/int_loop.mk
View File

@ -10,7 +10,7 @@ endif
# Iteration number (each containing N specimens)
# Driven by int_loop.sh
ITER ?= 1
MAKETODO_RE ?=
MAKETODO_FLAGS ?=
TODO_N ?= 10
PIP_TYPE?=pips_int
PIPLIST_TCL?=$(XRAY_DIR)/fuzzers/piplist.tcl
@ -31,6 +31,9 @@ database: $(SPECIMENS_OK)
ifneq ($(QUICK),Y)
${XRAY_DBFIXUP} --db-root build --clb-int
endif
# Keep a copy to track iter progress
cp build/segbits_int_l.db build/$(ITER)/segbits_int_l.db
cp build/segbits_int_r.db build/$(ITER)/segbits_int_r.db
pushdb:
${XRAY_MERGEDB} int_l build/segbits_int_l.db