Browse Source

Fixed assertion

tempestpy_adaptions
Matthias Volk 6 years ago
parent
commit
cbd709f0cd
  1. 2
      src/storm-counterexamples/counterexamples/SMTMinimalLabelSetGenerator.h

2
src/storm-counterexamples/counterexamples/SMTMinimalLabelSetGenerator.h

@ -37,7 +37,7 @@ namespace storm {
if (descr.isJaniModel()) {
return descr.asJaniModel().getNumberOfEdges();
} else {
assert(descr.isPrismModel());
assert(descr.isPrismProgram());
return descr.asPrismProgram().getNumberOfCommands();
}
}

Loading…
Cancel
Save