From cf27cc7fcdfae7706002bbd05ea75419247a1b72 Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Sat, 20 Nov 2021 12:48:23 -0800
Subject: [PATCH] increase niceness of automatic checkpoint generation

---
 .../linux-testgen/testvector-generation/checkpointSweep.sh  | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tests/linux-testgen/testvector-generation/checkpointSweep.sh b/tests/linux-testgen/testvector-generation/checkpointSweep.sh
index bc04bbf7..01f05ea6 100755
--- a/tests/linux-testgen/testvector-generation/checkpointSweep.sh
+++ b/tests/linux-testgen/testvector-generation/checkpointSweep.sh
@@ -1,5 +1,5 @@
-for index in {0..105}
+for index in {89..181}
 do 
-    instrs=$(((400+$index)*1000000))
-    echo "y" | ./genCheckpoint.sh $instrs
+    instrs=$(($index*1000000))
+    echo "y" | nice -n 5 ./genCheckpoint.sh $instrs
 done