Test/og/parallel3.bpl


1
2
3
4
5
6
7

procedure {:entrypoint} {:yields} main() 
{
    call A() | B();
}

procedure {:yields} {:stable} A() {}
procedure {:yields} {:stable} B() {}