blob: 27f5daba3a2ec9a6ae0d5ac252bdb543c454132e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
// RUN: sh %S/compile_with_libcxx.sh "%llvmgxx" "%s" "%S" "%t" "%klee" "%libcxx_include" | FileCheck %s
// CHECK: KLEE: done: completed paths = 1
#include "klee/klee.h"
#include <vector>
int main(int argc, char **args) {
std::vector<int> a;
a.push_back(klee_int("Test"));
return a.at(0);
}
|