| .. |
|
DefaultPolicyTest.php
|
a1427d7fd6
replace all occurences in code and comments
|
9 lat temu |
|
PoolTest.php
|
38917c2047
Add parallel build to travis script
|
11 lat temu |
|
RequestTest.php
|
b4ed331168
The Solver Request no longer depends on the Pool
|
10 lat temu |
|
RuleSetIteratorTest.php
|
c74e6df65d
Fix strings being passed to an int arg, fixes 7.1 build
|
9 lat temu |
|
RuleSetTest.php
|
c74e6df65d
Fix strings being passed to an int arg, fixes 7.1 build
|
9 lat temu |
|
RuleTest.php
|
1bd9c8da3c
More ruletest fixes for 7.1
|
9 lat temu |
|
SolverTest.php
|
8e78ce9a43
Add extra logging before and after SAT solving
|
9 lat temu |
Jordi Boggiano
1bd9c8da3c
More ruletest fixes for 7.1