diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-23 21:38:47 +0000 |
---|---|---|
committer | Frank Busse <f.busse@imperial.ac.uk> | 2024-02-29 18:14:36 +0000 |
commit | 3250b737cfcb2dee1ceafba28730b880e8649c4f (patch) | |
tree | b40236fabeb68c017282dd9c37e3a066213a60b9 | |
parent | a01f46c09137d521e736042bfb0395321f21e0fc (diff) | |
download | klee-3250b737cfcb2dee1ceafba28730b880e8649c4f.tar.gz |
Set version number to 3.1
-rw-r--r-- | CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index e24ddf41..410fe969 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-pre) +set(KLEE_VERSION_MINOR 1) set(KLEE_VERSION "${KLEE_VERSION_MAJOR}.${KLEE_VERSION_MINOR}") # If a patch is needed, we can add KLEE_VERSION_PATCH |