From 9f2a58359058020c3429fed70f2921be0f212d2e Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Sat, 6 Nov 2021 14:37:49 -0700
Subject: [PATCH] automated checkpoint generator

---
 tests/linux-testgen/testvector-generation/checkpointSweep.sh | 5 +++++
 tests/linux-testgen/testvector-generation/genCheckpoint.sh   | 1 +
 2 files changed, 6 insertions(+)
 create mode 100755 tests/linux-testgen/testvector-generation/checkpointSweep.sh

diff --git a/tests/linux-testgen/testvector-generation/checkpointSweep.sh b/tests/linux-testgen/testvector-generation/checkpointSweep.sh
new file mode 100755
index 000000000..bc04bbf78
--- /dev/null
+++ b/tests/linux-testgen/testvector-generation/checkpointSweep.sh
@@ -0,0 +1,5 @@
+for index in {0..105}
+do 
+    instrs=$(((400+$index)*1000000))
+    echo "y" | ./genCheckpoint.sh $instrs
+done
diff --git a/tests/linux-testgen/testvector-generation/genCheckpoint.sh b/tests/linux-testgen/testvector-generation/genCheckpoint.sh
index 7671d752f..97cdf8a0f 100755
--- a/tests/linux-testgen/testvector-generation/genCheckpoint.sh
+++ b/tests/linux-testgen/testvector-generation/genCheckpoint.sh
@@ -22,6 +22,7 @@ Is that what you wanted? (y/n) " -n 1 -r
 echo
 if [[ $REPLY =~ ^[Yy]$ ]]
 then
+    echo "Creating checkpoint at $instrs instructions!"
     mkdir -p $checkOutDir
     mkdir -p $checkIntermedDir