From 04a1bbedfcf72dbab46f65368b079a2cf622dcd1 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 8 Jun 2018 12:34:43 +0200
Subject: [PATCH] properties.cpp: Log filename of properties file in --verbose
mode
---
src/storm/api/properties.cpp | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/storm/api/properties.cpp b/src/storm/api/properties.cpp
index 5b5d53bcb..71fab4d79 100644
--- a/src/storm/api/properties.cpp
+++ b/src/storm/api/properties.cpp
@@ -27,6 +27,7 @@ namespace storm {
// If the given property is a file, we parse it as a file, otherwise we assume it's a property.
std::vector<storm::jani::Property> properties;
if (std::ifstream(inputString).good()) {
+ STORM_LOG_INFO("Loading properties from file: " << inputString << std::endl);
properties = formulaParser.parseFromFile(inputString);
} else {
properties = formulaParser.parseFromString(inputString);