Jakub Jirutka b9f64b8e10 testing/py3-pycosat: fix tests again
I'm too rash today. :(
2019-05-07 21:52:44 +02:00
..
2019-05-07 21:52:44 +02:00