move code around

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 66af988821af8ef491191a0cfb80151092ef38fd..f3a7b6a77bad087a2dd0ff15e138cbcf8f32d79a 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -475,4 +475,9 @@ void ModelChecker::run()
        /* Have the trace analyses dump their output. */
        for (unsigned int i = 0;i < trace_analyses.size();i++)
                trace_analyses[i]->finish();
+
+       /* unlink tmp file created by last child process */
+       char filename[256];
+       snprintf_(filename, sizeof(filename), "C11FuzzerTmp%d", getpid());
+       unlink(filename);
 }