diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-02-11 06:43:09 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-02-14 23:55:24 +0000 |
| commit | 5960bc6387df8ec89e3e98ae3867b0a3c025033b (patch) | |
| tree | ce3a0a149251941b6c557eff1182c9738a81293b /Dockerfile | |
| parent | 1f13e9dbf9db2095b6612a47717c2b86e4aaba72 (diff) | |
| download | klee-5960bc6387df8ec89e3e98ae3867b0a3c025033b.tar.gz | |
Handle Z3 API change between 4.4.1 and the current master branch
for the ``Z3_get_error_msg()`` function.
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions