Robert Gruendler 5160dd2f5e Return different error code for SolverProblemsException ... To make it easier for external tools to detect SolverProblems and react to them accordingly, this PR introduces a new exit code.		2013-04-25 14:37:47 +02:00
..
DefaultPolicyTest.php	Remove unused use statement	2013-04-17 18:38:05 +02:00
PoolTest.php	Remove Pool::getMaxId and the solver's reliance on it	2012-10-12 18:45:41 +02:00
RequestTest.php	…
RuleSetIteratorTest.php	Fix class name	2013-02-20 15:27:11 +01:00
RuleSetTest.php	…
RuleTest.php	…
SolverTest.php	Return different error code for SolverProblemsException	2013-04-25 14:37:47 +02:00