diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-25 22:00:51 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-05-06 11:21:35 +0100 |
| commit | f94309c1fcbbd77a210e66fe9d1d26e83a948a8a (patch) | |
| tree | b169b80b5703770407d1064aae9ceecede0c4325 /tools/ktest-gen/CMakeLists.txt | |
| parent | 3515cb00c750ec5f081d4d0e3a1c386080ccda7e (diff) | |
| download | klee-f94309c1fcbbd77a210e66fe9d1d26e83a948a8a.tar.gz | |
Renamed gen-bout to ktest-gen
Diffstat (limited to 'tools/ktest-gen/CMakeLists.txt')
| -rw-r--r-- | tools/ktest-gen/CMakeLists.txt | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/tools/ktest-gen/CMakeLists.txt b/tools/ktest-gen/CMakeLists.txt new file mode 100644 index 00000000..084d551d --- /dev/null +++ b/tools/ktest-gen/CMakeLists.txt @@ -0,0 +1,17 @@ +#===------------------------------------------------------------------------===# +# +# The KLEE Symbolic Virtual Machine +# +# This file is distributed under the University of Illinois Open Source +# License. See LICENSE.TXT for details. +# +#===------------------------------------------------------------------------===# +add_executable(ktest-gen + ktest-gen.cpp +) + +set(KLEE_LIBS kleeBasic) + +target_link_libraries(ktest-gen ${KLEE_LIBS}) + +install(TARGETS ktest-gen RUNTIME DESTINATION bin) |