test/Feature/Optimize.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

// RUN: %llvmgcc %s -emit-llvm %O0opt -c -o %t2.bc
// RUN: rm -f %t2.log
// RUN: rm -rf %t.klee-out
// RUN: %klee --output-dir=%t.klee-out --max-instructions=100 --optimize %t2.bc > %t3.log
// RUN: echo "good" > %t3.good
// RUN: diff %t3.log %t3.good

// should complete by 100 instructions if opt is on

int main() {
  int i, res = 0;

  for (i=1; i<=1000; i++)
    res += i;

  if (res == (1000*1001)/2) {
    printf("good\n");
  } else {
    printf("bad\n");
  }
  
  return 0;
}