blob: 86799a85f21e85d3a685a61dc642432119b28fb9 (
plain) (
blame)
1
2
3
4
5
6
7
8
|
// RUN: %clang %s -emit-llvm %O0opt -c -o %t1.bc
// RUN: rm -rf %t.klee-out
// RUN: %klee --output-dir=%t.klee-out --debug-validate-solver --debug-assignment-validating-solver %t1.bc
#include "ExerciseSolver.c.inc"
// CHECK: KLEE: done: completed paths = 15
// CHECK: KLEE: done: partially completed paths = 0
|
