545556575859606162
// Check #4. edit.redo(); harness.check(!edit.canRedo()); // Check #5. edit.die(); harness.check(!edit.canRedo()); } }
575859606162636465
// Check #4. edit.redo(); harness.check(edit.canUndo()); // Check #5. edit.die(); harness.check(!edit.canUndo()); } }