Changes between Version 1 and Version 2 of Ticket #2787, comment 5
- Timestamp:
- Sep 12, 2014, 1:35:07 PM (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #2787, comment 5
v1 v2 1 1 It just seemed to be a matter of 'luck'. The error does only occur at specific seeds and on both machines, thanks for hinting that. A seed at which I produced an error was 41281 with two players and tiny size. 2 3 I mostly wonder why it used to work but not anymore. The revision tests are probably incorrect... (comment:1 and comment:2)