diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-14 13:16:08 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-14 13:22:29 -0700 |
| commit | 251a32eba660615bc1583fd7e328dde7641499c1 (patch) | |
| tree | afa57922d86bf19972df456aa58c85cef748c591 /.travis | |
| parent | caf503da40a515e2239e925eebc8822cc77e0fae (diff) | |
| download | klee-251a32eba660615bc1583fd7e328dde7641499c1.tar.gz | |
[Core] Remove support for "--use-asm-addresses".
- I suspect no one is using this feature, and I'm not sure it is well conceived either. Ripping it out for now in lieu of bothering to maintain it.
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions