catch more klee errors about symbiotic HOT 1 CLOSED

  1 #include <assert.h>
  2 #define N 1000000000
  3 
  4 int main(void)
  5 {
  6   int a[N];
  7   int max = 0;
  8   int i = 0;
  9   while (i < N) {
 10     if (a[i] > max)
 11       max = a[i];
 12       ++i;
 13   }
 14 
 15   int x;
 16   for ( x = 0 ; x < N ; x++ )
 17     assert(a[x] <= max);
 18 
 19   return 0;
 20 }