From 1736a7364c7a074a9d8096b0865843dd46c7eac1 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Wed, 13 May 2020 13:28:11 +0200
Subject: [PATCH] modelcheck: formula can be nullptr

* tests/ltsmin/modelcheck.cc: Here.
---
 tests/ltsmin/modelcheck.cc | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/tests/ltsmin/modelcheck.cc b/tests/ltsmin/modelcheck.cc
index f2c91e833..0d1dffc50 100644
--- a/tests/ltsmin/modelcheck.cc
+++ b/tests/ltsmin/modelcheck.cc
@@ -543,9 +543,12 @@ static int checked_main()
                     << "model,formula,walltimems,memused,type,"
                     << "states,transitions,sccs\n";
           std::cout << '#'
-                    << split_filename(mc_options.model) << ','
-                    << mc_options.formula << ','
-                    << *walltime << ',' << memused << ','
+                    << split_filename(mc_options.model) << ',';
+
+          if (mc_options.formula != nullptr)
+            std::cout << mc_options.formula;
+
+          std::cout << ',' << *walltime << ',' << memused << ','
                     << rval << ',' << *states << ',' << *trans << ','
                     << *sccs << '\n';
         }