source: CIVL/examples/por/loop.cvl@ fc15297

#include<civlc.cvh>

int g=0;

void proc0(){
  int x,y,z;

  while(1){
    x=0;
    y=0;
    z=0;
  }
}

void proc1(){
  g=1;
}

void proc2(){
  g=2;
}

int main(){
  $proc p0, p1, p2;
  
  $atomic{
    p0=$spawn proc0();
    p1=$spawn proc1();
    p2=$spawn proc2();
  }
  $wait(p0);
  $wait(p1);
  $wait(p2);
  $assert(g>0);
}