Browse Source

displaying property name together with the property

tempestpy_adaptions
TimQu 6 years ago
parent
commit
0fa361c393
  1. 2
      src/storm-cli-utilities/model-handling.h

2
src/storm-cli-utilities/model-handling.h

@ -512,7 +512,7 @@ namespace storm {
} }
void printModelCheckingProperty(storm::jani::Property const& property) { void printModelCheckingProperty(storm::jani::Property const& property) {
STORM_PRINT(std::endl << "Model checking property " << *property.getRawFormula() << " ..." << std::endl);
STORM_PRINT(std::endl << "Model checking property \"" << property.getName() << "\": " << *property.getRawFormula() << " ..." << std::endl);
} }
template<typename ValueType> template<typename ValueType>

Loading…
Cancel
Save