Browse Source

BE can no longer fail after triggered failure

tempestpy_adaptions
Matthias Volk 6 years ago
parent
commit
1fcc375608
  1. 1
      src/storm-dft/storage/dft/DFTState.cpp

1
src/storm-dft/storage/dft/DFTState.cpp

@ -253,6 +253,7 @@ namespace storm {
mFailableDependencies.erase(mFailableDependencies.begin() + index);
setFailed(res.first->id());
setDependencySuccessful(dependency->id());
beNoLongerFailable(res.first->id());
return res;
} else {
// Consider "normal" failure

Loading…
Cancel
Save