From 8be615b2932f91dbce01bba8270e82fc16f80e6e Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Thu, 11 May 2023 17:19:53 +0100 Subject: [PATCH] Simplified result report --- reactics-bdd/mc.cc | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/reactics-bdd/mc.cc b/reactics-bdd/mc.cc index 09a8f1c..88f5e36 100644 --- a/reactics-bdd/mc.cc +++ b/reactics-bdd/mc.cc @@ -601,8 +601,12 @@ bool ModelChecker::checkRSCTLKfull(FormRSCTLK *form) cleanup(); - cout << "Formula " << form->toStr() << (result ? " holds" : " does not hold") - << endl; + if (opts->backend_mode) { + cout << "Result:" << result << endl; + } else { + cout << "Formula " << form->toStr() << (result ? " holds" : " does not hold") + << endl; + } if (opts->measure) { opts->ver_time = cpuTime() - opts->ver_time; @@ -665,8 +669,12 @@ bool ModelChecker::checkRSCTLKbmc(FormRSCTLK *form) cleanup(); - cout << "Formula " << form->toStr() << " " << (result ? "holds" : - "does not hold") << endl; + if (opts->backend_mode) { + cout << "result:" << result << endl; + } else { + cout << "Formula " << form->toStr() << " " << (result ? "holds" : + "does not hold") << endl; + } if (opts->measure) { opts->ver_time = cpuTime() - opts->ver_time;