From cf79c053f93896751a3d43e0c365f97cff72221c Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 14 Jun 2017 16:49:33 +0200
Subject: [PATCH] replaced lambda default argument by Functor to make gcc 6.3
happy
---
src/storm/cli/cli.cpp | 8 +++++++-
1 file changed, 7 insertions(+), 1 deletion(-)
diff --git a/src/storm/cli/cli.cpp b/src/storm/cli/cli.cpp
index 6256a7574..fbe145089 100644
--- a/src/storm/cli/cli.cpp
+++ b/src/storm/cli/cli.cpp
@@ -615,8 +615,14 @@ namespace storm {
}
}
+ struct PostprocessingIdentity {
+ void operator()(std::unique_ptr<storm::modelchecker::CheckResult> const&) {
+ // Intentionally left empty.
+ }
+ };
+
template<typename ValueType>
- void verifyProperties(std::vector<storm::jani::Property> const& properties, std::function<std::unique_ptr<storm::modelchecker::CheckResult>(std::shared_ptr<storm::logic::Formula const> const& formula)> const& verificationCallback, std::function<void(std::unique_ptr<storm::modelchecker::CheckResult> const&)> const& postprocessingCallback = [](std::unique_ptr<storm::modelchecker::CheckResult> const&){}) {
+ void verifyProperties(std::vector<storm::jani::Property> const& properties, std::function<std::unique_ptr<storm::modelchecker::CheckResult>(std::shared_ptr<storm::logic::Formula const> const& formula)> const& verificationCallback, std::function<void(std::unique_ptr<storm::modelchecker::CheckResult> const&)> const& postprocessingCallback = PostprocessingIdentity()) {
for (auto const& property : properties) {
printModelCheckingProperty(property);
storm::utility::Stopwatch watch(true);