36a0ec9e78
* gnu/packages/patches/mcrl2-fix-1687.patch, gnu/packages/patches/mcrl2-fix-counterexample.patch: New files. * gnu/local.mk (dist_patch_DATA): Add them. * gnu/packages/maths.scm (mcrl2): Update to 202206.0 and use them.
32 lines
1.1 KiB
Diff
32 lines
1.1 KiB
Diff
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
|
|
|