Skip to content
Snippets Groups Projects
Commit e7dc0c33 authored by chihebabid's avatar chihebabid
Browse files

Fix code for NDFS algorithm

parent 41e3217c
No related branches found
No related tags found
1 merge request!6Feature/ufscc emptiness check
Pipeline #5042 passed
......@@ -121,8 +121,8 @@ void CNDFS::computeSuccessors(myState_t *state) {
if (state->succState == SuccState::built) return;
std::unique_lock lk(mMutexStatus);
if (state->succState == SuccState::beingbuilt) {
mMutexStatus.unlock();
mDataCondWait.wait(lk, [state] { return state->succState == SuccState::built; });
mMutexStatus.unlock();
return;
}
state->succState = SuccState::beingbuilt;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment