diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-02-27 00:04:47 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-03-22 08:15:59 +0100 |
| commit | 5d260aa3b040af22ee248df6d8cbddb275bc080f (patch) | |
| tree | 6221b0f821f237881e8445e2ff2e2b8a2a149ed2 /examples | |
| parent | 007d1ee02dae61bdb0760097a700d21968514b94 (diff) | |
| download | klee-5d260aa3b040af22ee248df6d8cbddb275bc080f.tar.gz | |
Add soname for Runtest dynamic library
Based on llvm-shlib/Makefile SHARED_VERSION reflects the API version of the library itself
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions