From 7b28f1ffb545611b1cc55aa27db2c3c3afa96a49 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 21 May 2015 17:27:38 +0200 Subject: [PATCH] acc: typo in parse_acc_code for generalized_co_buchi * src/twa/acc.cc: Fix it. * wrap/python/tests/accparse.ipynb: Adjust. --- src/twa/acc.cc | 2 +- wrap/python/tests/accparse.ipynb | 7 ++++--- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/src/twa/acc.cc b/src/twa/acc.cc index e0088c208..9499d7a88 100644 --- a/src/twa/acc.cc +++ b/src/twa/acc.cc @@ -1423,7 +1423,7 @@ namespace spot else if (!strncmp(input, "generalized-co-Buchi", 20)) { input += 20; - c = acc_cond::acc_code::generalized_buchi(parse_num(input)); + c = acc_cond::acc_code::generalized_co_buchi(parse_num(input)); } else if (!strncmp(input, "Rabin", 5)) { diff --git a/wrap/python/tests/accparse.ipynb b/wrap/python/tests/accparse.ipynb index 75fcf7f5d..61f39cf0e 100644 --- a/wrap/python/tests/accparse.ipynb +++ b/wrap/python/tests/accparse.ipynb @@ -17,7 +17,8 @@ "pygments_lexer": "ipython3", "version": "3.4.3+" }, - "name": "" + "name": "", + "signature": "sha256:b0fe4d13694abcf6bcdfe7bb8dca49a0b48757f0a09464300a214f1d30e72edb" }, "nbformat": 3, "nbformat_minor": 0, @@ -127,8 +128,8 @@ "generalized-Buchi 3: Inf(0)&Inf(1)&Inf(2)\n", "generalized-Buchi 0: t\n", "co-Buchi: Fin(0)\n", - "generalized-co-Buchi 3: Inf(0)&Inf(1)&Inf(2)\n", - "generalized-co-Buchi 0: t\n", + "generalized-co-Buchi 3: Fin(0)|Fin(1)|Fin(2)\n", + "generalized-co-Buchi 0: f\n", "Rabin 2: (Fin(0) & Inf(1)) | (Fin(2) & Inf(3))\n", "Rabin 0: f\n", "Streett 2: (Fin(0) | Inf(1)) & (Fin(2) | Inf(3))\n",