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