diff --git a/fuzzers/010-lutinit/generate.sh b/fuzzers/010-lutinit/generate.sh index 04d134f0..e0bcd7aa 100644 --- a/fuzzers/010-lutinit/generate.sh +++ b/fuzzers/010-lutinit/generate.sh @@ -8,6 +8,9 @@ vivado -mode batch -source ../generate.tcl for i in 0 1 2; do ../../../tools/bitread -F $XRAY_ROI_FRAMES -o design_$i.bits -zy design_$i.bit +done + +for i in 0 1 2; do python3 ../generate.py $i done diff --git a/fuzzers/011-ffconfig/Makefile b/fuzzers/011-ffconfig/Makefile index f4fd93a3..d0dc3e6b 100644 --- a/fuzzers/011-ffconfig/Makefile +++ b/fuzzers/011-ffconfig/Makefile @@ -19,8 +19,11 @@ $(SPECIMENS_OK): bash generate.sh $(subst /OK,,$@) touch $@ +regen: + set -ex; for d in $(SPECIMENS); do cd $$d; for i in 0 1 2 3 4 5 6 7 8 9; do python3 ../generate.py $$i; done; cd ..; done + clean: rm -rf specimen_[0-9][0-9][0-9]/ seg_clbll.segbits seg_clblm.segbits -.PHONY: database pushdb clean +.PHONY: database pushdb regen clean diff --git a/fuzzers/011-ffconfig/generate.sh b/fuzzers/011-ffconfig/generate.sh index 877bd0c4..ea220557 100644 --- a/fuzzers/011-ffconfig/generate.sh +++ b/fuzzers/011-ffconfig/generate.sh @@ -8,6 +8,9 @@ vivado -mode batch -source ../generate.tcl for i in {0..9}; do ../../../tools/bitread -F $XRAY_ROI_FRAMES -o design_$i.bits -zy design_$i.bit +done + +for i in {0..9}; do python3 ../generate.py $i done