Reduce output from simple_cnf test to warnings
authorChristian Herdtweck <christian.herdtweck@intra2net.com>
Wed, 14 Nov 2018 10:33:26 +0000 (11:33 +0100)
committerChristian Herdtweck <christian.herdtweck@intra2net.com>
Wed, 14 Nov 2018 10:33:26 +0000 (11:33 +0100)
commit8468f520d8c9c8fe2b1323e098c49b4940374016
tree965ad6f2184f0ae0133a28a3734d57f6820b850e
parent33b0346ade9c01c32cdac258488e8965225d0791
Reduce output from simple_cnf test to warnings
test/test_simple_cnf.py