diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-14 12:10:39 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 16:34:47 +0100 |
| commit | 9a34b5a962f08e02d16078be4bdc7458d816573f (patch) | |
| tree | c5da27fb8827e52053e4c7c0f608f2094a6b4778 /Dockerfile | |
| parent | d5845873276f142f785cab0d3489209b3a4980ab (diff) | |
| download | klee-9a34b5a962f08e02d16078be4bdc7458d816573f.tar.gz | |
Set default LLVM version to 9.0
Use newer LLVM version 9.0 instead of 6.0. Update to newer Ubuntu base image.
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions