From c27b8af90f1a5c94faf9d2ba409c96cef4ea1722 Mon Sep 17 00:00:00 2001 From: TimQu Date: Thu, 25 Oct 2018 13:47:24 +0200 Subject: [PATCH] Display the time required for parsing the prism/jani input --- src/storm-cli-utilities/model-handling.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h index 815f80128..beba289d1 100644 --- a/src/storm-cli-utilities/model-handling.h +++ b/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) { if (ioSettings.isPrismOrJaniInputSet()) { + storm::utility::Stopwatch modelParsingWatch(true); if (ioSettings.isPrismInputSet()) { input.model = storm::api::parseProgram(ioSettings.getPrismInputFilename(), storm::settings::getModule().isPrismCompatibilityEnabled()); } else { @@ -81,6 +82,8 @@ namespace storm { input.properties = std::move(janiInput.second); } } + modelParsingWatch.stop(); + STORM_PRINT("Time for model input parsing: " << modelParsingWatch << "." << std::endl << std::endl); } }