Jordi Boggiano 1bd9c8da3c More ruletest fixes for 7.1 %!s(int64=9) %!d(string=hai) anos
..
DefaultPolicyTest.php a1427d7fd6 replace all occurences in code and comments %!s(int64=9) %!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 c74e6df65d Fix strings being passed to an int arg, fixes 7.1 build %!s(int64=9) %!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