diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-05-24 17:38:12 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-06-01 11:36:09 +0100 |
| commit | 31e75fdf1e277bbf961287706b06eab8136c6cd0 (patch) | |
| tree | d7e845e2b3fbe7c59bb6e5be38ce452c01723ffd /runtime/Intrinsic | |
| parent | 9a73071e22b408bb9bf5c24ec2d7eeb3a8a16e96 (diff) | |
| download | klee-31e75fdf1e277bbf961287706b06eab8136c6cd0.tar.gz | |
Refactor file opening code out of `main.cpp` and into
`klee_open_output_file()` function so that it can be used by the Z3Solver.
Diffstat (limited to 'runtime/Intrinsic')
0 files changed, 0 insertions, 0 deletions