source: CIVL/examples/languageFeatures/atomStatementBad.cvl@ 38b7d06

int n = 3;

void main(){
        int x = 3;
        
        // non-determinism, an exception will be thrown
        $atom{
                $choose {
                        $when (n>2) { x=2;  }
                        $when (n>1) { x=1;  }
                        default: {x=0;  }
                }
        }
}