Ryan Lortie ef8c443092 menumodel test: don't get stuck in a loop
Sometimes randa and randb end up having the same state, causing them to
return the same stream of 'random numbers'.  This is a problem for the
testcase that is looping to find unequal menus.

If we find ourselves in this state, throw one of the random generators
away and recreate it so we have a better chance of getting some unequal
menus.
2011-12-08 18:05:14 -05:00
..
2010-09-02 22:36:47 +03:00
2011-09-04 17:50:41 -04:00
2011-06-12 16:17:30 -04:00
2011-06-04 10:45:54 -04:00
2009-03-31 19:39:16 -04:00
2011-12-08 18:05:14 -05:00
2011-12-08 18:05:14 -05:00
2011-12-08 18:05:14 -05:00
2011-08-29 14:49:32 -04:00
2011-10-18 17:12:33 +01:00
2011-08-29 14:49:32 -04:00
2010-07-12 18:30:14 -04:00
2011-10-18 17:12:33 +01:00
2011-06-04 19:05:51 -04:00
2010-07-05 00:56:12 -04:00
2011-08-29 14:49:32 -04:00
2010-03-26 09:30:25 -04:00
2010-07-12 18:30:14 -04:00
2010-07-12 18:30:14 -04:00
2011-08-29 14:49:32 -04:00
2010-07-12 18:30:14 -04:00
2011-12-08 18:05:12 -05:00
2011-06-14 21:06:17 -04:00
2011-10-18 17:12:33 +01:00
2010-07-07 19:53:22 -04:00
2011-08-29 14:49:32 -04:00
2011-08-29 14:49:32 -04:00
2011-08-29 14:49:32 -04:00
2011-06-04 18:48:19 -04:00
2011-08-29 14:49:32 -04:00
2010-01-12 16:34:18 +01:00
2011-12-08 18:05:14 -05:00
2011-06-07 08:55:31 +08:00
2011-12-08 18:05:14 -05:00
2011-12-08 18:05:12 -05:00
2011-08-29 14:49:32 -04:00
2011-12-08 18:05:14 -05:00
2011-08-29 14:49:32 -04:00
2011-09-04 17:50:41 -04:00
2010-07-07 19:53:22 -04:00
2011-02-08 10:05:00 -05:00
2011-12-08 18:05:13 -05:00
2011-12-08 18:05:13 -05:00
2011-12-08 18:05:13 -05:00
2011-12-08 18:05:14 -05:00
2011-12-08 18:05:12 -05:00
2011-12-08 18:05:14 -05:00
2011-12-08 18:05:13 -05:00
2011-10-16 21:41:15 -04:00
2011-10-16 21:41:15 -04:00
2011-02-08 10:05:00 -05:00
2010-06-04 19:03:38 +02:00
2010-11-28 23:55:43 -05:00
2011-06-04 18:48:19 -04:00
2010-08-19 16:32:37 -04:00
2011-08-29 14:49:32 -04:00
2011-08-29 14:49:32 -04:00
2011-01-09 21:45:20 +01:00
2011-08-29 14:49:32 -04:00
2010-04-16 23:23:40 -04:00
2011-11-21 12:02:02 -05:00
2011-11-21 12:02:02 -05:00
2011-11-21 12:02:02 -05:00
2011-12-08 18:05:14 -05:00
2011-10-16 21:41:15 -04:00
2011-10-16 21:41:15 -04:00
2011-08-04 08:54:55 +02:00
2011-08-26 11:07:32 -04:00
2011-10-02 22:33:10 -04:00
2011-06-14 18:51:57 -04:00
2011-05-05 14:09:11 -04:00
2011-10-03 14:06:47 -04:00
2011-10-03 14:06:47 -04:00
2009-07-05 22:35:55 -04:00
2011-08-29 14:49:32 -04:00
2011-12-08 18:05:14 -05:00
2010-07-07 19:53:22 -04:00
2011-12-08 18:05:12 -05:00
2011-12-08 18:05:12 -05:00
2011-12-08 18:05:12 -05:00
2011-08-29 14:49:32 -04:00