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