mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-10 08:03:25 +00:00
Code Activity

startswith

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-07-22 11:53:07 -07:00
parent 845e852dba
commit 4368ec9953
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/python/setup.py
View file

@ -133,7 +133,7 @@ def _configure_z3():
# Allow command-line arguments to add and override Z3_ options # Allow command-line arguments to add and override Z3_ options
for i in range(len(sys.argv) - 1): for i in range(len(sys.argv) - 1):
key = sys.argv[i] key = sys.argv[i]
if key.starts_with("Z3_"): if key.startswith("Z3_"):
val = sys.argv[i + 1].upper() val = sys.argv[i + 1].upper()
if val == "TRUE" or val == "FALSE": if val == "TRUE" or val == "FALSE":
cmake_options[key] = val cmake_options[key] = val