Checked 4 interleaving(s).  1 errors found. 

1
Error type        : Exception
Details           : {badarg,[]}
  Process P1 spawns process P1.1
  Process P1.1 sends message `bar` to process named 'foo'
  Process P1.1 exits ("Exception")
