diff options
| author | Hoang M. Le <hle@informatik.uni-bremen.de> | 2017-10-05 15:50:21 +0200 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-10-17 22:22:14 +0100 |
| commit | 9eb0125f77fdd1f0db2b9769d9fb192d05e43226 (patch) | |
| tree | ff3a5e333dbd9becdc57dd9a36f4d85f8590f7b8 /include | |
| parent | bf5f1b659729dde0378a867ce21426c09490d518 (diff) | |
| download | klee-9eb0125f77fdd1f0db2b9769d9fb192d05e43226.tar.gz | |
add support for CVC4 and Yices2 via metaSMT
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/CommandLine.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/include/klee/CommandLine.h b/include/klee/CommandLine.h index 79f9286b..9668d00b 100644 --- a/include/klee/CommandLine.h +++ b/include/klee/CommandLine.h @@ -61,7 +61,9 @@ enum MetaSMTBackendType { METASMT_BACKEND_STP, METASMT_BACKEND_Z3, - METASMT_BACKEND_BOOLECTOR + METASMT_BACKEND_BOOLECTOR, + METASMT_BACKEND_CVC4, + METASMT_BACKEND_YICES2 }; extern llvm::cl::opt<klee::MetaSMTBackendType> MetaSMTBackend; |