From d2bde1af19d27f054ff63cb55813a84ec551233e Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Tue, 9 Jun 2020 09:01:05 +0200
Subject: [PATCH] modelcheck: do not load twice model

* tests/ltsmin/modelcheck.cc: Here.
---
 tests/ltsmin/modelcheck.cc | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/tests/ltsmin/modelcheck.cc b/tests/ltsmin/modelcheck.cc
index eaee9e1c6..579f65dd2 100644
--- a/tests/ltsmin/modelcheck.cc
+++ b/tests/ltsmin/modelcheck.cc
@@ -292,7 +292,7 @@ static int checked_main()
         }
     }
 
-  if (mc_options.model != nullptr)
+  if (mc_options.model != nullptr && !mc_options.force_parallel)
     {
       tm.start("loading ltsmin model");
       try
@@ -327,6 +327,12 @@ static int checked_main()
           goto safe_exit;
         }
     }
+  else if (mc_options.force_parallel && mc_options.output)
+    {
+      std::cerr << "Cannot combine 'Ouput options' with parallelism.\n"
+                << "Consider removing -p.\n";
+      goto safe_exit;
+    }
 
   if (mc_options.force_parallel == false &&
       mc_options.formula != nullptr &&