// SKIP PARAM: --set ana.activated[+] apron
// Example from https://github.com/sosy-lab/sv-benchmarks/blob/master/c/bitvector-loops/overflow_1-2.c
#include <goblint.h>

int main(void) {
  unsigned int x = 10;

  while (x >= 10) {
    x += 2;
  }

  __goblint_check(1);
}
