blob: abf541f50c136f5d4bb10d710f21f892e9e8c2c0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
Taken from upstream:
https://github.com/mCRL2org/mCRL2/commit/435421429dde9dcc5956e8a978597111a3947ec1
Fixes bug in ltscompare:
https://listserver.tue.nl/pipermail/mcrl2-users/2022-June/000396.html
From 435421429dde9dcc5956e8a978597111a3947ec1 Mon Sep 17 00:00:00 2001
From: Maurice Laveaux <m.laveaux@tue.nl>
Date: Wed, 29 Jun 2022 10:27:58 +0200
Subject: [PATCH] Write counterexample's structured output trace on single
line.
---
libraries/lts/include/mcrl2/lts/detail/counter_example.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/libraries/lts/include/mcrl2/lts/detail/counter_example.h b/libraries/lts/include/mcrl2/lts/detail/counter_example.h
index c339cfde4..ca3967768 100644
--- a/libraries/lts/include/mcrl2/lts/detail/counter_example.h
+++ b/libraries/lts/include/mcrl2/lts/detail/counter_example.h
@@ -139,7 +139,7 @@ class counter_example_constructor
if (m_structured_output)
{
std::cout << m_name << ": ";
- result.save("", mcrl2::lts::trace::tfPlain); // Write to stdout.
+ result.save("", mcrl2::lts::trace::tfLine); // Write to stdout.
}
else
{
--
2.35.1
|
