From ed5fc92ad22d1dc91699920ab14e15d5c647b700 Mon Sep 17 00:00:00 2001 From: Marco Lampacrescia <65171491+MarcoLm993@users.noreply.github.com> Date: Wed, 30 Oct 2024 08:43:18 +0100 Subject: [PATCH] Remove CONVINCE from std out (#22) Signed-off-by: Marco Lampacrescia --- src/cli.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cli.cpp b/src/cli.cpp index 7271e05..fa900b0 100644 --- a/src/cli.cpp +++ b/src/cli.cpp @@ -27,7 +27,7 @@ int main(int argc, char* argv[]) { const auto model_and_properties = smc_storm::parser::parseModelAndProperties(user_settings); const auto mc_settings = smc_storm::settings::SmcSettings(user_settings); // Perform model checking - STORM_PRINT("CONVINCE Statistical Model Checker\n"); + STORM_PRINT("Welcome to SMC Storm\n"); STORM_PRINT("Checking model: " << user_settings.model_file << std::endl); for (const auto& property : model_and_properties.property) { smc_storm::model_checker::StatisticalModelChecker smc(model_and_properties.model, property, mc_settings);