Data race condition

This thread does not re-check the wait condition upon wakeup, which may cause it to continue prematurely. A thread does not re-check its wait condition after waking up from a wait.
/test/cppsuite/src/util/barrier.cpp:41: BAD_CHECK_OF_WAIT_COND 138895 Calling "unique_lock" acquires lock "test_harness::barrier._mutex". [Note: The source code implementation of the function has been overridden by a builtin model.]
/test/cppsuite/src/util/barrier.cpp:47: BAD_CHECK_OF_WAIT_COND 138895 A wait is performed without a loop. If there is a spurious wakeup, the condition may not be satisfied. [Note: The source code implementation of the function has been overridden by a builtin model.]