mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-02 07:07:52 +00:00
Code Activity

Merge pull request #8695 from Z3Prover/copilot/simplify-code-structure

Browse source 
Remove unnecessary blank lines in mk_genfile_common.py and mk_api_doc.py
This commit is contained in:
Nikolaj Bjorner 2026-02-19 09:58:19 -08:00 • committed by GitHub
commit 2fa04f5e38
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 0 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

1
doc/mk_api_doc.py
View file

@ -468,7 +468,6 @@ try:
# We just need to register that it exists for the link in the index # We just need to register that it exists for the link in the index
print("Go documentation link will be included in index.") print("Go documentation link will be included in index.")
print("Documentation was successfully generated at subdirectory '{}'.".format(OUTPUT_DIRECTORY)) print("Documentation was successfully generated at subdirectory '{}'.".format(OUTPUT_DIRECTORY))
except Exception: except Exception:
exctype, value = sys.exc_info()[:2] exctype, value = sys.exc_info()[:2]

4
scripts/mk_genfile_common.py
View file

@ -144,7 +144,6 @@ def mk_z3consts_py_internal(api_files, output_dir):
raise ValueError("Invalid %s, line: %s" % (api_file, linenum)) raise ValueError("Invalid %s, line: %s" % (api_file, linenum))
else: else:
if mode != IN_ENUM: if mode != IN_ENUM:
raise ValueError(f"Expected IN_ENUM mode, got mode {mode} in {api_file}, line: {linenum}") raise ValueError(f"Expected IN_ENUM mode, got mode {mode} in {api_file}, line: {linenum}")
words = re.split('[^-a-zA-Z0-9_]+', line) words = re.split('[^-a-zA-Z0-9_]+', line)
m = closebrace_pat.match(line) m = closebrace_pat.match(line)
@ -234,7 +233,6 @@ def mk_z3consts_dotnet_internal(api_files, output_dir):
raise ValueError("Invalid %s, line: %s" % (api_file, linenum)) raise ValueError("Invalid %s, line: %s" % (api_file, linenum))
else: else:
if mode != IN_ENUM: if mode != IN_ENUM:
raise ValueError(f"Expected IN_ENUM mode, got mode {mode} in {api_file}, line: {linenum}") raise ValueError(f"Expected IN_ENUM mode, got mode {mode} in {api_file}, line: {linenum}")
words = re.split('[^-a-zA-Z0-9_]+', line) words = re.split('[^-a-zA-Z0-9_]+', line)
m = closebrace_pat.match(line) m = closebrace_pat.match(line)
@ -324,7 +322,6 @@ def mk_z3consts_java_internal(api_files, package_name, output_dir):
raise ValueError("Invalid %s, line: %s" % (api_file, linenum)) raise ValueError("Invalid %s, line: %s" % (api_file, linenum))
else: else:
if mode != IN_ENUM: if mode != IN_ENUM:
raise ValueError(f"Expected IN_ENUM mode, got mode {mode} in {api_file}, line: {linenum}") raise ValueError(f"Expected IN_ENUM mode, got mode {mode} in {api_file}, line: {linenum}")
words = re.split('[^-a-zA-Z0-9_]+', line) words = re.split('[^-a-zA-Z0-9_]+', line)
m = closebrace_pat.match(line) m = closebrace_pat.match(line)
@ -452,7 +449,6 @@ def mk_z3consts_ml_internal(api_files, output_dir):
raise ValueError("Invalid %s, line: %s" % (api_file, linenum)) raise ValueError("Invalid %s, line: %s" % (api_file, linenum))
else: else:
if mode != IN_ENUM: if mode != IN_ENUM:
raise ValueError(f"Expected IN_ENUM mode, got mode {mode} in {api_file}, line: {linenum}") raise ValueError(f"Expected IN_ENUM mode, got mode {mode} in {api_file}, line: {linenum}")
words = re.split('[^-a-zA-Z0-9_]+', line) words = re.split('[^-a-zA-Z0-9_]+', line)
m = closebrace_pat.match(line) m = closebrace_pat.match(line)