source: CIVL/examples/languageFeatures/atomicStatement.cvl@ 69193a9

int n = 3;

void main(){
        int x = 3;
        
        // non-determinism allowed in $atomic block
        $atomic{
                $choose {
                        $when (n>2) { x=2;  }
                        $when (n>1) { x=1;  }
                        default: {x=0;  }
                }
        }
        
        $assert (x == 2 || x == 1);
}