X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.cc;h=39f0c694e9b7e440ee5ffa952ded7b4b06f0a7ca;hp=9d147dfcc92e95ddd2e12284cbb486cb0018f430;hb=e4b59e52989269c529e94bea1cd1b9dfe418a0ce;hpb=5afb7f87917a67712fe289470ee03de0864fee7d

diff --git a/model.cc b/model.cc
index 9d147dfc..39f0c694 100644
--- a/model.cc
+++ b/model.cc
@@ -543,6 +543,7 @@ void ModelChecker::run()
 
 		has_next = next_execution();
 		pthread_map.clear();
+		mutex_map.clear();
 		i++;
 	} while (i<100); // while (has_next);