// SKIP PARAM: --sets ana.activated[+] octApron --sets sem.int.signed_overflow assume_none --disable ana.int.interval
// copied from signed-overflows/intervals for octApron
int main(void) {
    int x = 0;
    while(x != 42) {
        x++;
        assert(x >= 1);
    }

}

Add octApron test on signed overflows
Add octApron test on signed overflows
