@Test
 public void testScenerio33() throws Throwable {
   try {
     mCollectLogs = true;
     setupBasic(10, 7, 1);
     mv(0, 6);
     up(0, 7);
     preProcess();
   } catch (Throwable t) {
     throw new Throwable(t.getMessage() + "\n" + mLog.toString());
   }
 }
 @Test
 public void testScenerio37() throws Throwable {
   try {
     mCollectLogs = true;
     setupBasic(10, 5, 2);
     mv(3, 6);
     rm(4, 4);
     rm(3, 2);
     preProcess();
   } catch (Throwable t) {
     throw new Throwable(t.getMessage() + "\n" + mLog.toString());
   }
 }
 @Test
 public void testRandom() throws Throwable {
   mCollectLogs = true;
   Random random = new Random(System.nanoTime());
   for (int i = 0; i < 100; i++) {
     try {
       Log.d(TAG, "running random test " + i);
       randomTest(random, Math.max(40, 10 + nextInt(random, i)));
     } catch (Throwable t) {
       throw new Throwable(
           "failure at random test " + i + "\n" + t.getMessage() + "\n" + mLog.toString(), t);
     }
   }
 }