re-enable tests incorrectly disabled

These were disabled by mistake in f6575d2ec.

* tests/python/parity.py: Uncomment test cases.

tests/python/parity.py

@@ -21,47 +21,47 @@
 import spot
 
 
-# for f in ('FGa', 'GFa & GFb & FGc', 'XXX(a U b)'):
+for f in ('FGa', 'GFa & GFb & FGc', 'XXX(a U b)'):
-#     a1 = spot.translate(f, 'parity')
+    a1 = spot.translate(f, 'parity')
-#     assert a1.acc().is_parity()
+    assert a1.acc().is_parity()
-#     a2 = spot.translate(f).postprocess('parity')
+    a2 = spot.translate(f).postprocess('parity')
-#     assert a2.acc().is_parity()
+    assert a2.acc().is_parity()
-#     a3 = spot.translate(f, 'det').postprocess('parity', 'colored')
+    a3 = spot.translate(f, 'det').postprocess('parity', 'colored')
-#     assert a3.acc().is_parity()
+    assert a3.acc().is_parity()
-#     assert spot.is_colored(a3)
+    assert spot.is_colored(a3)
-#
+
-# a = spot.translate('GFa & GFb')
+a = spot.translate('GFa & GFb')
-# try:
+try:
-#     spot.change_parity_here(a, spot.parity_kind_same, spot.parity_style_even)
+    spot.change_parity_here(a, spot.parity_kind_same, spot.parity_style_even)
-# except RuntimeError as e:
+except RuntimeError as e:
-#     assert 'input should have parity acceptance' in str(e)
+    assert 'input should have parity acceptance' in str(e)
-# else:
+else:
-#     exit(2)
+    exit(2)
-#
+
-# a = spot.automaton("""
+a = spot.automaton("""
-# HOA: v1
+HOA: v1
-# States: 1
+States: 1
-# Start: 0
+Start: 0
-# AP: 1 "a"
+AP: 1 "a"
-# Acceptance: 2 Fin(0) & Inf(1)
+Acceptance: 2 Fin(0) & Inf(1)
-# --BODY--
+--BODY--
-# State: 0
+State: 0
-# [t] 0 {0}
+[t] 0 {0}
-# --END--
+--END--
-# """)
+""")
-# spot.cleanup_parity_here(a)
+spot.cleanup_parity_here(a)
-# assert a.to_str() == """HOA: v1
+assert a.to_str() == """HOA: v1
-# States: 1
+States: 1
-# Start: 0
+Start: 0
-# AP: 1 "a"
+AP: 1 "a"
-# acc-name: none
+acc-name: none
-# Acceptance: 0 f
+Acceptance: 0 f
-# properties: trans-labels explicit-labels state-acc complete
+properties: trans-labels explicit-labels state-acc complete
-# properties: deterministic
+properties: deterministic
-# --BODY--
+--BODY--
-# State: 0
+State: 0
-# [t] 0
+[t] 0
-# --END--"""
+--END--"""
 
 a = spot.automaton("""
 HOA: v1