mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

update_api.py: Remove usage of MKException.

Browse source 
This wasn't working as it was being accessed from a function object
rather than the module.

Instead, let's just print the error and exit.
This commit is contained in:
Bruce Mitchener 2022-08-03 23:40:01 +07:00 committed by Nikolaj Bjorner
parent 8a3556e5ba
commit a3161bdc15
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
scripts/update_api.py
View file

@ -16,7 +16,6 @@ emit some of the files required for Z3's different
language bindings. language bindings.
""" """
import mk_exception
import argparse import argparse
import logging import logging
import re import re
@ -1700,8 +1699,8 @@ def def_APIs(api_files):
m = pat2.match(line) m = pat2.match(line)
if m: if m:
eval(line) eval(line)
except Exception: except Exception as e:
raise mk_exec_header.MKException("Failed to process API definition: %s" % line) error('ERROR: While processing: %s: %s\n' % (e, line))
def write_log_h_preamble(log_h): def write_log_h_preamble(log_h):
log_h.write('// Automatically generated file\n') log_h.write('// Automatically generated file\n')