sched_tests-test_spawn_link_unlink-2.txt

Checked 3 interleaving(s). 3 errors found.

2652909
Error type        : Deadlock
Blocked processes : P1.1
  Process P1 spawns and links to process P1.1
  Process P1 unlinks from process P1.1
  Process P1.1 sets flag `trap_exit` to `true`
  Process P1.1 sends message `foo` to process P1
  Process P1 receives message `foo` from process P1.1
  Process P1 exits (normal)


21899421
Error type        : Deadlock
Blocked processes : P1.1
  Process P1 spawns and links to process P1.1
  Process P1.1 sets flag `trap_exit` to `true`
  Process P1 unlinks from process P1.1
  Process P1.1 sends message `foo` to process P1
  Process P1 receives message `foo` from process P1.1
  Process P1 exits (normal)


35025811
Error type        : Deadlock
Blocked processes : P1.1
  Process P1 spawns and links to process P1.1
  Process P1.1 sets flag `trap_exit` to `true`
  Process P1.1 sends message `foo` to process P1
  Process P1 unlinks from process P1.1
  Process P1 receives message `foo` from process P1.1
  Process P1 exits (normal)