diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-01-23 15:52:34 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-02-13 17:39:21 +0000 |
| commit | a34c5c7604f110a45f20c999f6ff970336673886 (patch) | |
| tree | e0375f2e270b9ed741401908415af8d7dd73667a /unittests/Ref/RefTest.cpp | |
| parent | 0837d96d20e3ecd502a650aaa62488845198560f (diff) | |
| download | klee-a34c5c7604f110a45f20c999f6ff970336673886.tar.gz | |
Use a newer Ubuntu 18.04 from the year 2020 to build KLEE Dockerimage
Diffstat (limited to 'unittests/Ref/RefTest.cpp')
0 files changed, 0 insertions, 0 deletions