blob: 56f0f9dc8e33b6a2ec7651533fa97fc3e7d1a7a2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
//===-- klee_int.c --------------------------------------------------------===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#include <assert.h>
#include <klee/klee.h>
int klee_int(const char *name) {
int x;
klee_make_symbolic(&x, sizeof x, name);
return x;
}
|
