agra-uni-bremen/metaSMT — pull request #2 by finnhaedicke (2012-07-03 09:04:26+00:00)
Title: Python test cleanup

These commits fix a bug in the python test code, run each test individually in ctest and suppress
a warning in the MiniSat headers.