modelcheck: formula can be nullptr

* tests/ltsmin/modelcheck.cc: Here.

modelcheck: formula can be nullptr
* tests/ltsmin/modelcheck.cc: Here.
8fd233c9 · Etienne Renault · bcb55017 · 8fd233c9
Commit 8fd233c9 authored May 13, 2020 by Etienne Renault
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 3 deletions

tests/ltsmin/modelcheck.cc tests/ltsmin/modelcheck.cc +6 -3

No files found.
--- 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';
        }