doOneTest(1); // passes extracted parasitics
doOneTest(2); // passes extracted parasitics
doOneTest(3); // passes extracted parasitics
doOneTest(4); // passes extracted parasitics
doOneTest(5); // passes extracted parasitics
doOneTest(6);
doOneTest(1); // passes extracted parasitics
doOneTest(2); // passes extracted parasitics
doOneTest(3); // passes extracted parasitics
doOneTest(4); // passes extracted parasitics
doOneTest(5); // passes extracted parasitics
doOneTest(6);
doOneTest(1000); // passes extracted parasitics
doOneTest(1001); // passes extracted parasitics
doOneTest(1003); // passes extracted parasitics
doOneTest(1000); // passes extracted parasitics
doOneTest(1001); // passes extracted parasitics
doOneTest(1003); // passes extracted parasitics
doOneTest(3000); // passes extracted parasitics
doOneTest(3001); // passes extracted parasitics
doOneTest(3003); // passes extracted parasitics
doOneTest(3000); // passes extracted parasitics
doOneTest(3001); // passes extracted parasitics
doOneTest(3003); // passes extracted parasitics
doOneTest(3020); // passes extracted parasitics
doOneTest(3022); // passes extracted parasitics
doOneTest(3023); // passes extracted parasitics
doOneTest(3020); // passes extracted parasitics
doOneTest(3022); // passes extracted parasitics
doOneTest(3023); // passes extracted parasitics
doOneTest(3026); // passes extracted parasitics
doOneTest(3027); // passes extracted parasitics
doOneTest(3028); // passes extracted parasitics
doOneTest(3026); // passes extracted parasitics
doOneTest(3027); // passes extracted parasitics
doOneTest(3028); // passes extracted parasitics
case 3026: testNonTorpedoableMoveDoesNotResetDFlag(marina); break; // 23-Apr (+verilog)
case 3027: testILCZero(marina); break;
case 3028: testAbortOutsideOfLoop(marina); break;
case 3026: testNonTorpedoableMoveDoesNotResetDFlag(marina); break; // 23-Apr (+verilog)
case 3027: testILCZero(marina); break;
case 3028: testAbortOutsideOfLoop(marina); break;
+ case 3029: testDFlagWhenTorpedoLyingInWait(marina); break;
+ case 3030: testSetOlcFollowedByDPredicated(marina); break;
+ case 3031: testOverfillTokens(marina); break;
+
+ case 3040: loadEveryValueOLC(marina); break;