so-un-bot/Ingegneria del Software/0722_2/correct.txt
2023-01-02 01:33:38 +01:00

5 lines
No EOL
83 B
Text

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