// Number of processes
const int N = 2;
int[0,1] bolt;
bool testset(int[0,1] &i)
{
if(i==0){ i=1;
return true; }
{ return false;}
}
Pconst int[0,1] pid//Insert local declarations of clocks, variables and constants.
bool l;try0try1csremainder
system P;