From 9fe8820ed0966f7baa9ed43d0134e4092c027b16 Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Mon, 1 Nov 2021 15:31:38 -0700
Subject: [PATCH] genCheckpoint syntax fix

---
 tests/linux-testgen/testvector-generation/genCheckpoint.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/linux-testgen/testvector-generation/genCheckpoint.sh b/tests/linux-testgen/testvector-generation/genCheckpoint.sh
index 4883ef3f0..cca7486e1 100755
--- a/tests/linux-testgen/testvector-generation/genCheckpoint.sh
+++ b/tests/linux-testgen/testvector-generation/genCheckpoint.sh
@@ -32,7 +32,7 @@ then
     # Post-Process GDB outputs
     ./parseState.py "$checkOutDir"
     ./fix_mem.py "$checkIntermedDir/ramGDB.txt" "$checkOutDir/ram.txt"
-    tail -n+$($instrs+1) "$outDir/$traceFile" > "$checkOutDir/$traceFile"
+    tail -n+$(($instrs+1)) "$outDir/$traceFile" > "$checkOutDir/$traceFile"
 else
     echo "You can change the number of instructions by editing the \"instrs\" variable in this script."
     echo "Have a nice day!"