Rob Bast 9cbcda9ae6 add test that asserts pool priority matters 8 лет назад
..
DefaultPolicyTest.php 9cbcda9ae6 add test that asserts pool priority matters 8 лет назад
PoolTest.php 38917c2047 Add parallel build to travis script 11 лет назад
RequestTest.php b4ed331168 The Solver Request no longer depends on the Pool 10 лет назад
RuleSetIteratorTest.php c74e6df65d Fix strings being passed to an int arg, fixes 7.1 build 9 лет назад
RuleSetTest.php c74e6df65d Fix strings being passed to an int arg, fixes 7.1 build 9 лет назад
RuleTest.php 1bd9c8da3c More ruletest fixes for 7.1 9 лет назад
SolverTest.php 8e78ce9a43 Add extra logging before and after SAT solving 9 лет назад