How to disable the SIGINT signal handler?

[mikulas-patocka]

Hi

I use libz3 as a part of my program and I'd like to disable the ctrl-c SIGINT signal handling in z3. I found out that there is "ctrl_c" argument on this page "https://microsoft.github.io/z3guide/docs/strategies/summary", however it is unclear where should the argument be written - "(set-option :ctrl_c false)" doesn't work, "z3 -pd" doesn't list the ctrl_c argument, "z3 ctrl_c=false" also doesn't work.

Mikulas

[mikulas-patocka]

So, I was analyzing z3 with a debugger, it turns out that the SIGINT handler is enabled in the function cmd_context::check_sat - there is scoped_ctrlc ctrlc(eh) - it uses the default enabled=true argument with no way how to disable it.

I'd like to ask if it would be possible to add an option to disable the SIGINT handler, so that the z3 library could be used in a program that handles SIGINT on its own and wouldn't interfere with it.