mark one more slow test as integration

Arrowbox · Feb 4, 2017 · 50d3f66 · 50d3f66
1 parent aeaf6bd
commit 50d3f66
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/test_logic.py b/tests/test_logic.py
@@ -184,6 +184,7 @@ def test_AMONE():
     assert x1 == x2 and C1.clauses == C2.clauses
 
 
+@pytest.mark.integration  # only because this test is slow
 def test_XONE():
     my_TEST(my_XONE, Clauses.ExactlyOne_NSQ, 0,3, True)
     my_TEST(my_XONE, Clauses.ExactlyOne_BDD, 0,3, True)