diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-08-03 16:02:25 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-08-03 16:02:25 +0100 |
| commit | c91a035e51d2023133d4767eeb99bb8931710876 (patch) | |
| tree | d5feba00f941463533fced36cc53227fd4241e2a /runtime/klee-libc/strcpy.c | |
| parent | 26f485384e2409096d3fe54baff4b348cf08d2cf (diff) | |
| parent | be37ac9605d380b7f36717338c2c520f375798c8 (diff) | |
| download | klee-c91a035e51d2023133d4767eeb99bb8931710876.tar.gz | |
Merge pull request #198 from holycrap872/IndependentSolverGetInitialValues
New version of the get initial values functionality which makes use of the independent solver.
Diffstat (limited to 'runtime/klee-libc/strcpy.c')
0 files changed, 0 insertions, 0 deletions