From 7b5c37d5a579dce687568cf2eda4eded35ba1081 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 22 May 2015 07:54:45 +0200 Subject: [PATCH] python: fix check of is_parity() * wrap/python/tests/accparse2.py: Do not check max and odd if is_parity is False, as this "argout" parameters are not initialized by SWIG. --- wrap/python/tests/accparse2.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/wrap/python/tests/accparse2.py b/wrap/python/tests/accparse2.py index 9a69a3c11..4c844ad5e 100644 --- a/wrap/python/tests/accparse2.py +++ b/wrap/python/tests/accparse2.py @@ -25,11 +25,11 @@ assert(a.is_parity() == [True, False, True]) a.set_acceptance(spot.parse_acc_code('parity max even 5')) assert(a.is_parity() == [True, True, False]) a.set_acceptance(spot.parse_acc_code('generalized-Buchi 5')) -assert(a.is_parity() == [False, False, False]) -assert(a.is_parity(True) == [False, False, False]) +assert(a.is_parity()[0] == False) +assert(a.is_parity(True)[0] == False) a.set_acceptance(spot.parse_acc_code( 'Inf(4) | (Fin(3)&Inf(2)) | (Fin(3)&Fin(1)&Inf(0))')) -assert(a.is_parity() == [False, False, False]) +assert(a.is_parity()[0] == False) assert(a.is_parity(True) == [True, True, False]) a = spot.acc_cond(0)