path: root/tests/semantic/method-postcondition.test

Invalid Code

void foo (int i) ensures (i) {
}

void main () {
}