AES-GCM-check-entrypoint.go: Fix indexing

RyanGlScott · May 2, 2024 · 67ffbf1 · 67ffbf1
1 parent f01f1c6
commit 67ffbf1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/SAW/proof/AES/AES-GCM-check-entrypoint.go b/SAW/proof/AES/AES-GCM-check-entrypoint.go
@@ -38,7 +38,7 @@ func main() {
 	num_parallel_process := int(math.Floor((float64(total_memory) / float64(memory_used_per_test))))
 	log.Printf("System has %d bytes of memory, running %d jobs in parallel", total_memory, num_parallel_process)
 	for i := 0; i < 2; i++ {
-		for j := 0; j < 2; i++ {
+		for j := 0; j < 2; j++ {
 			wg.Add(1)
 			saw_template := "verify-AES-GCM-selectcheck-template.txt"
 			mres_placeholder_name := "TARGET_MRES_PLACEHOLDER"