diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-11-25 04:31:59 -0800 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-11-25 04:31:59 -0800 |
| commit | 7c415a118f1bfc291cc6f2479b78db8041db95a4 (patch) | |
| tree | 9e046919128e8f1baacc9f19203e1531738a4d1a /configure | |
| parent | fd4e8b1d3a3d143f21ff83f77401a4b5c63f11d2 (diff) | |
| parent | e134985e66571f88a574fd0a80ed2a4b991ca802 (diff) | |
| download | klee-7c415a118f1bfc291cc6f2479b78db8041db95a4.tar.gz | |
Merge pull request #67 from MartinNowack/fix_asm_address
Fix using assembler addresses for global variables
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions