diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-07-07 21:07:32 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-07-11 00:32:20 +0100 |
| commit | 0804c98436d9507d9074ad9ea958d98692e3f89c (patch) | |
| tree | d3f87ea84c4ccb7fd0ac75d68de42b652b91356d /lib/Core/Context.h | |
| parent | f30de64e0babbcc68e1611ea4f191ca20c80a837 (diff) | |
| download | klee-0804c98436d9507d9074ad9ea958d98692e3f89c.tar.gz | |
Removed support for klee_make_symbolic with 2 arguments. This has been deprecated for many years now and causes problems during replay. Changed and simplified affected test case.
Diffstat (limited to 'lib/Core/Context.h')
0 files changed, 0 insertions, 0 deletions