From: weiyu <weiyuluo1232@gmail.com>
Date: Thu, 1 Aug 2019 23:43:06 +0000 (-0700)
Subject: unlink the extra tmp file generated
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=8e4bd0067f3bc625b824baf36175d13b46126eba

unlink the extra tmp file generated
---

diff --git a/snapshot.cc b/snapshot.cc
index 24e8d073..d287319a 100644
--- 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);
+			}
 		}
 	}
 }