diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-02-11 06:01:56 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-02-14 23:55:24 +0000 |
| commit | 7f9afabacfecadf2be0a7451049d2f96ef8f203b (patch) | |
| tree | e59c06088dd2b5ef14f2b123a1c31cb10efe440f /lib/Solver/ValidatingSolver.cpp | |
| parent | 5960bc6387df8ec89e3e98ae3867b0a3c025033b (diff) | |
| download | klee-7f9afabacfecadf2be0a7451049d2f96ef8f203b.tar.gz | |
Add TravisCI and Docker support for building KLEE with Z3 support
Diffstat (limited to 'lib/Solver/ValidatingSolver.cpp')
0 files changed, 0 insertions, 0 deletions