diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-29 21:46:39 +0000 |
---|---|---|
committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2024-02-29 22:21:34 +0000 |
commit | a8648707f29e5839d64675c43fa7d244b162bc63 (patch) | |
tree | fdfc68c71635b7c6452277ec5c4441cc7cee01f8 | |
parent | fe22b90764887ab69c20b1eccd773d47a8378b95 (diff) | |
download | klee-a8648707f29e5839d64675c43fa7d244b162bc63.tar.gz |
Setting version to 3.2-pre
-rw-r--r-- | CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 410fe969..b1cf69a8 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -17,7 +17,7 @@ project(KLEE CXX C) # Project version ############################################################################### set(KLEE_VERSION_MAJOR 3) -set(KLEE_VERSION_MINOR 1) +set(KLEE_VERSION_MINOR 2-pre) set(KLEE_VERSION "${KLEE_VERSION_MAJOR}.${KLEE_VERSION_MINOR}") # If a patch is needed, we can add KLEE_VERSION_PATCH |