pthread join seems to be working

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 64bef579afd8b014ed00ad97f2178ad3685ddf67..9d147dfcc92e95ddd2e12284cbb486cb0018f430 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -542,6 +542,7 @@ void ModelChecker::run()
                } while (!should_terminate_execution());
 
                has_next = next_execution();
+               pthread_map.clear();
                i++;
        } while (i<100); // while (has_next);