From 38ab9a7d1ca6d948944b80646334aa9e5f1f4252 Mon Sep 17 00:00:00 2001
From: John McMaster <johndmcmaster@gmail.com>
Date: Wed, 12 Dec 2018 11:51:55 -0800
Subject: [PATCH] int_loop: write db per iter for easier tracking

Signed-off-by: John McMaster <johndmcmaster@gmail.com>
---
 fuzzers/050-intpips/Makefile | 5 ++++-
 fuzzers/int_loop.mk          | 3 +++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/fuzzers/050-intpips/Makefile b/fuzzers/050-intpips/Makefile
index c86485f9..070a20d5 100644
--- a/fuzzers/050-intpips/Makefile
+++ b/fuzzers/050-intpips/Makefile
@@ -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
diff --git a/fuzzers/int_loop.mk b/fuzzers/int_loop.mk
index e630a5f6..4a8e2fef 100644
--- a/fuzzers/int_loop.mk
+++ b/fuzzers/int_loop.mk
@@ -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