From 0f29aa09970958034c8c0fb50c76116bef3bea91 Mon Sep 17 00:00:00 2001
From: ouni <ouni@lipn.univ-paris13.fr>
Date: Thu, 30 May 2019 17:31:12 +0200
Subject: [PATCH] src/main.cpp
---
src/main.cpp | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/main.cpp b/src/main.cpp
index 4c29dd7..619058a 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -129,7 +129,7 @@ int main(int argc, char** argv)
//
if (n_tasks==1 && !strcmp(argv[1],"otfL"))
{
- cout<<"Multi-threaded on the fly Model checking..."<<endl;
+ cout<<"Multi-threaded on the fly Model checking (Lace)..."<<endl;
cout<<"Building automata for not(formula)\n";
auto d = spot::make_bdd_dict();
// d->register_ap("jbhkj");
@@ -170,9 +170,9 @@ int main(int argc, char** argv)
std::cout << "formula is verified\n";
}
- else if (n_tasks==1 && !strcmp(argv[1],"otfTh"))
+ else if (n_tasks==1 && !strcmp(argv[1],"otfP"))
{
- cout<<"Multi-threaded on the fly Model checking..."<<endl;
+ cout<<"Multi-threaded on the fly Model checking (Pthread)..."<<endl;
cout<<"Building automata for not(formula)\n";
auto d = spot::make_bdd_dict();
// d->register_ap("jbhkj");
--
GitLab