add support for pthread_mutex
[c11tester.git] / model.cc
index 9d147df..39f0c69 100644 (file)
--- 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);