DescriptionMake the solver deterministic (again).
This also caps the log transcript size.
BUG=https://code.google.com/p/dart/issues/detail?id=15547
R=nweiz@google.com
Committed: https://code.google.com/p/dart/source/detail?r=31072
Patch Set 1 #
Total comments: 4
Patch Set 2 : Make log discard from the middle. #
Total comments: 2
Messages
Total messages: 6 (0 generated)
|