so-un-bot/Ingegneria del Software/0210_25/correct.txt

5 lines
No EOL
90 B
Text

int f(in x, int y)
{
assert( (x >= 0) && (y >= 0) && ((x > 0) || (y > 0)) );
.....
}