Improvements in icefuzz/pinloc

1 files changed, 10 insertions, 4 deletions

diff --git a/icefuzz/pinloc/pinloc-1k-vq100.sh b/icefuzz/pinloc/pinloc-1k-vq100.sh
index 403d8e3..161151a 100644
--- a/icefuzz/pinloc/pinloc-1k-vq100.sh
+++ b/icefuzz/pinloc/pinloc-1k-vq100.sh
@@ -1,12 +1,17 @@
 #!/bin/bash
 
 pins="
-	1 2 3 4 7 8 9 10 12 13 15 16 18 19 20 21 24 25 26 27 28 29 30 33 34 36 37
-	40 41 42 43 44 45 46 48 49 50 51 52 53 54 56 57 59 60 62 63 64 65 66 68
-	69 71 72 73 74 75 76 78 79 80 81 82 83 85 86 87 89 90 91 93 94 95 96 97
-	99 100 5 32 39 47 55 70 98 17 23 84 11 35 61 77 92 88 58 67 31 38 6 14 22
+	1 2 3 4 7 8 9 10 12 13 15 16 18 19 20 21 24 25
+	26 27 28 29 30 33 34 36 37 40 41 42 45 46 48 49
+	51 52 53 54 56 57 59 60 62 63 64 65 66 68 69 71 72 73 74
+	78 79 80 81 82 83 85 86 87 89 90 91 93 94 95 96 97 99 100
 "
 
+if [ $(echo $pins | wc -w) -ne 72 ]; then
+	echo "Incorrect number of pins:" $(echo $pins | wc -w)
+	exit 1
+fi
+
 {
 	echo -n "all:"
 	for pin in $pins; do
@@ -22,6 +27,7 @@ pins="
 		echo; echo "${id}.exp:"
 		echo "	ICEDEV=hx1k-vq100 bash ../icecube.sh ${id} > ${id}.log 2>&1"
 		echo "	../../icebox/icebox_explain.py ${id}.asc > ${id}.exp.new"
+		echo "	! grep '^Warning: pin' ${id}.log"
 		echo "	rm -rf ${id}.tmp"
 		echo "	mv ${id}.exp.new ${id}.exp"
 	done