BURTON Mark
Builds for 1 pipeline passed in 5 minutes 48 seconds

fix end condition for deterministic mode

... ... @@ -154,6 +154,8 @@ public:
}
~centralSyncPolicy() {
/* release other models */
d_mutex.unlock();
/*
* Take the lock before you exit, will force others out of the critical region
* (preventing segfault on exit)
... ...