From a7db7711d4b3d07a2daae8b42a578ed4b16568e0 Mon Sep 17 00:00:00 2001
From: Andrew Noyes <andrew@weaselab.dev>
Date: Wed, 24 Jan 2024 13:04:01 -0800
Subject: [PATCH] Actually increment iter

---
 ConflictSet.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ConflictSet.cpp b/ConflictSet.cpp
index cc10250..84df967 100644
--- a/ConflictSet.cpp
+++ b/ConflictSet.cpp
@@ -1438,6 +1438,7 @@ extern "C" int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {
       for (int i = 0; i < numWrites; ++i) {
         writes[i].begin.p = (const uint8_t *)iter->data();
         writes[i].begin.len = iter->size();
+        ++iter;
         writes[i].end.len = 0;
         writes[i].writeVersion = v;
 #if DEBUG_VERBOSE && !defined(NDEBUG)
@@ -1445,6 +1446,7 @@ extern "C" int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {
                int(writes[i].writeVersion));
 #endif
       }
+      assert(iter == keys.end());
       cs.addWrites(writes, numWrites);
       refImpl.addWrites(writes, numWrites);
     }
@@ -1471,6 +1473,7 @@ extern "C" int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {
       for (int i = 0; i < numReads; ++i) {
         reads[i].begin.p = (const uint8_t *)iter->data();
         reads[i].begin.len = iter->size();
+        ++iter;
         reads[i].end.len = 0;
         reads[i].readVersion = v;
 #if DEBUG_VERBOSE && !defined(NDEBUG)
@@ -1478,6 +1481,7 @@ extern "C" int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {
                int(reads[i].readVersion));
 #endif
       }
+      assert(iter == keys.end());
       auto *results1 = new (arena) ConflictSet::Result[numReads];
       auto *results2 = new (arena) ConflictSet::Result[numReads];
       cs.check(reads, results1, numReads);