Improved branch compilation

This commit is contained in:
Eduard Urbach 2024-07-07 21:55:32 +02:00
parent 871749101e
commit 13161f5021
Signed by: eduard
GPG key ID: 49226B848C78F6C8
9 changed files with 160 additions and 113 deletions

View file

@ -25,31 +25,15 @@ main() {
exit(1)
}
if x >= 1 {
if x >= 1 || 1 <= x {
exit(1)
}
if 1 <= x {
if x == inc(x) || x == dec(x) {
exit(1)
}
if x == inc(x) {
exit(1)
}
if x == dec(x) {
exit(1)
}
if inc(0) == x {
exit(1)
}
if dec(0) == x {
exit(1)
}
if inc(x) == dec(x) {
if inc(0) == x || dec(0) == x || inc(x) == dec(x) {
exit(1)
}