blob: ac9e541d9bbd055be2ea7a63790b4cb726a134ed (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
/*===-- klee_is_replay.c --------------------------------------------------===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===*/
#include "klee/klee.h"
unsigned klee_is_replay() {
return 0;
}
|
