Nils Adermann 1ee5d99405 When changing watched literals of a rule, update the parent's next pointer ... The previous rule was not previously updated to point to the next rule when removing a middle rule from the watch tree for a literal. This resulted in jumping from one literal's watch tree to another's, which could then jump back to the original and cause infinite loop in a case like #265. Fixes #265		2012-02-19 15:35:13 +01:00
..
DefaultPolicyTest.php	Add prettyVersion to packages, fixes #76	2011-11-20 15:06:12 +01:00
LiteralTest.php	Add prettyVersion to packages, fixes #76	2011-11-20 15:06:12 +01:00
PoolTest.php	Added and extended some unit tests	2012-01-24 18:44:54 +01:00
RequestTest.php	Add prettyVersion to packages, fixes #76	2011-11-20 15:06:12 +01:00
RuleSetIteratorTest.php	Now that no more update rules are created the code that handles them can be removed too.	2012-02-18 19:19:49 +01:00
RuleSetTest.php	Now that no more update rules are created the code that handles them can be removed too.	2012-02-18 19:19:49 +01:00
RuleTest.php	Added and extended some unit tests	2012-01-24 18:44:54 +01:00
SolverTest.php	When changing watched literals of a rule, update the parent's next pointer	2012-02-19 15:35:13 +01:00