move pthread_map and mutex_map inside of execution.h

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 39f0c694e9b7e440ee5ffa952ded7b4b06f0a7ca..c4bcaf9b1c257ec7ec8707f506d5a35c44cf8e64 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -542,10 +542,8 @@ void ModelChecker::run()
                } while (!should_terminate_execution());
 
                has_next = next_execution();
-               pthread_map.clear();
-               mutex_map.clear();
                i++;
-       } while (i<100); // while (has_next);
+       } while (i<2); // while (has_next);
 
        execution->fixup_release_sequences();