Jordi Boggiano 4cd6eabdba Merge branch '1.2' %!s(int64=8) %!d(string=hai) anos
..
DefaultPolicyTest.php 9cbcda9ae6 add test that asserts pool priority matters %!s(int64=8) %!d(string=hai) anos
PoolTest.php 38917c2047 Add parallel build to travis script %!s(int64=11) %!d(string=hai) anos
RequestTest.php b4ed331168 The Solver Request no longer depends on the Pool %!s(int64=10) %!d(string=hai) anos
RuleSetIteratorTest.php c74e6df65d Fix strings being passed to an int arg, fixes 7.1 build %!s(int64=9) %!d(string=hai) anos
RuleSetTest.php 4a769a785c Reduce calls on Rule::getHash() %!s(int64=8) %!d(string=hai) anos
RuleTest.php 1bd9c8da3c More ruletest fixes for 7.1 %!s(int64=9) %!d(string=hai) anos
SolverTest.php 8e78ce9a43 Add extra logging before and after SAT solving %!s(int64=9) %!d(string=hai) anos