// RUN: %llvmgcc %s -emit-llvm -g -c -o %t1.bc // RUN: %klee --search=random-state --exit-on-error %t1.bc #include #define N 5 unsigned branches = 0; void explode(int *ap, int i, int *result) { if (i