diff options
| author | Marius Bakke <[email protected]> | 2022-07-22 01:09:14 +0200 |
|---|---|---|
| committer | Marius Bakke <[email protected]> | 2022-07-22 01:09:14 +0200 |
| commit | 9044b086ddca64a62966a83cbf1b82d32dece89e (patch) | |
| tree | 2c7f910c9100b2f2a752d07fe0ec44be83fb7600 /gnu/packages/patches/mcrl2-fix-counterexample.patch | |
| parent | 5dfc6ab1ab292b87ceea144aa661d0e64c834031 (diff) | |
| parent | abea091dbef2d44e6eb46bd2413bdf917e14d095 (diff) | |
Merge branch 'staging' into core-updates
Diffstat (limited to 'gnu/packages/patches/mcrl2-fix-counterexample.patch')
| -rw-r--r-- | gnu/packages/patches/mcrl2-fix-counterexample.patch | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/gnu/packages/patches/mcrl2-fix-counterexample.patch b/gnu/packages/patches/mcrl2-fix-counterexample.patch new file mode 100644 index 0000000000..abf541f50c --- /dev/null +++ b/gnu/packages/patches/mcrl2-fix-counterexample.patch @@ -0,0 +1,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 <[email protected]> +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 + |