diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-07-25 10:02:59 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-07-25 10:02:59 +0100 |
| commit | c77b0052785a7ead9cb80a37a53de2229e2f0726 (patch) | |
| tree | 611a2aa9901ba549e69ccc8739bfece23388e7a5 /test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c | |
| parent | 5a8422683380a76bc2b00cc23237d51b7704e2fa (diff) | |
| download | klee-c77b0052785a7ead9cb80a37a53de2229e2f0726.tar.gz | |
This commit simply moves evalConstant to ExecutorUtil (where evalConstantExpr also resides), as suggested by an old comment.
Diffstat (limited to 'test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c')
0 files changed, 0 insertions, 0 deletions