unlink the extra tmp file generated

[c11tester.git] / snapshot.cc

diff --git a/snapshot.cc b/snapshot.cc
index 24e8d073ca1330eb778b897955e500dab30f9c5e..d287319a5f0bda5f18438b2e8354e60ab755e4da 100644 (file)
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -402,8 +402,13 @@ static void fork_loop() {
                                }
                        }
 
-                       if (fork_snap->mIDToRollback != snapshotid)
+                       if (fork_snap->mIDToRollback != snapshotid) {
+                               char filename[256];
+                               snprintf_(filename, sizeof(filename), "C11FuzzerTmp%d", forkedID);
+                               unlink(filename);
+
                                _Exit(EXIT_SUCCESS);
+                       }
                }
        }
 }