source: CIVL/examples/languageFeatures/civlExitBad.cvl@ f6ce0eb

#include <civlc.h>

void Process(){
  $exit();
}

void main(){
  $proc procs[3];

  for(int i=0; i<3; i++)
    procs[i] = $spawn Process();

  for(int i=0; i<3; i++)
    $wait(procs[i]);
}