1 # connect gdb to Valgrind gdbserver:
2 target remote | ./vgdb --wait=60 --vgdb-prefix=./vgdb-prefix-mcinfcallWSRU
3 echo vgdb launched process attached\n
4 monitor v.set vgdb-error 999999
6 # ensure all threads are known
7 break sleeper_or_burner
13 # Here the 4 threads have been started.
14 # We will interrupt in a few seconds (be sure all tasks are in Runnable/Yielding state
15 # or in WaitSys state.
16 shell ./simulate_control_c --vgdb-prefix=./vgdb-prefix-mcinfcallWSRU 1 grep main mcinfcallWSRU.stderr.out
21 print whoami("thread 1 inferior call pushed from gdb in mcinfcallWSRU.stdinB.gdb")
23 print whoami("thread 2 inferior call pushed from gdb in mcinfcallWSRU.stdinB.gdb")
25 print whoami("thread 3 inferior call pushed from gdb in mcinfcallWSRU.stdinB.gdb")
27 print whoami("thread 4 inferior call pushed from gdb in mcinfcallWSRU.stdinB.gdb")