| from util import * | |
| send_gdb('b breakpoint') | |
| expect_gdb('Breakpoint 1') | |
| send_gdb('c') | |
| expect_gdb('Breakpoint 1') | |
| send_gdb('checkpoint') | |
| expect_gdb('Checkpoint 1 at') | |
| send_gdb('n') | |
| send_gdb('restart 1') | |
| expect_gdb('breakpoint') | |
| send_gdb('c') | |
| expect_rr('EXIT-SUCCESS') | |
| expect_gdb('xited normally') |