Browse Source

Display the time required for parsing the prism/jani input

tempestpy_adaptions
TimQu 6 years ago
parent
commit
c27b8af90f
  1. 3
      src/storm-cli-utilities/model-handling.h

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

@ -61,6 +61,7 @@ namespace storm {
void parseSymbolicModelDescription(storm::settings::modules::IOSettings const& ioSettings, SymbolicInput& input, storm::builder::BuilderType const& builderType) { void parseSymbolicModelDescription(storm::settings::modules::IOSettings const& ioSettings, SymbolicInput& input, storm::builder::BuilderType const& builderType) {
if (ioSettings.isPrismOrJaniInputSet()) { if (ioSettings.isPrismOrJaniInputSet()) {
storm::utility::Stopwatch modelParsingWatch(true);
if (ioSettings.isPrismInputSet()) { if (ioSettings.isPrismInputSet()) {
input.model = storm::api::parseProgram(ioSettings.getPrismInputFilename(), storm::settings::getModule<storm::settings::modules::BuildSettings>().isPrismCompatibilityEnabled()); input.model = storm::api::parseProgram(ioSettings.getPrismInputFilename(), storm::settings::getModule<storm::settings::modules::BuildSettings>().isPrismCompatibilityEnabled());
} else { } else {
@ -81,6 +82,8 @@ namespace storm {
input.properties = std::move(janiInput.second); input.properties = std::move(janiInput.second);
} }
} }
modelParsingWatch.stop();
STORM_PRINT("Time for model input parsing: " << modelParsingWatch << "." << std::endl << std::endl);
} }
} }

Loading…
Cancel
Save