mirror of
https://github.com/Z3Prover/z3
synced 2025-06-29 01:18:45 +00:00
6 lines
405 B
Text
6 lines
405 B
Text
def_module_params('parser',
|
|
export=True,
|
|
params=(('ignore_user_patterns', BOOL, False, 'ignore patterns provided by the user'),
|
|
('ignore_bad_patterns', BOOL, True, 'ignore malformed patterns'),
|
|
('error_for_visual_studio', BOOL, False, 'display error messages in Visual Studio format'),
|
|
))
|