Unexpected output after SIGINT

[aviggiano]

Describe the bug

Sometimes halmos takes a long time to complete, and then I just give up. However, instead of receiving no output, I receive some output. See my ^C^C^C^C trying to stop the process with SIGINT. This is unexpected.

To Reproduce

git clone https://github.com/aviggiano/property-based-testing-benchmark
git checkout 06744ad64bf33d236031c73a966d648a826f4550
make halmos
# after some time
^C

Environment:

• OS: macOS
• Python version: Python 3.11.4
• Halmos and other dependency versions:

Package                   Version             Editable project location
------------------------- ------------------- --------------------------------------------------------------------
abch-tree-sitter          1.1.1
abch-tree-sitter-solidity 1.2.1
aiofiles                  0.8.0
aiohttp                   3.8.5
aiosignal                 1.3.1
appnope                   0.1.3
astroid                   2.11.7
asttokens                 2.4.0
async-timeout             4.0.3
attrs                     23.1.0
backcall                  0.2.0
bitarray                  2.8.1
black                     22.3.0
cbor2                     5.4.6
certifi                   2023.7.22
charset-normalizer        3.2.0
click                     8.1.7
coverage                  7.3.0
crytic-compile            0.3.4
cytoolz                   0.12.2
decorator                 5.1.1
deepdiff                  6.3.1
dill                      0.3.7
eth-abi                   4.2.0
eth-account               0.8.0
eth-hash                  0.5.2
eth-keyfile               0.6.1
eth-keys                  0.4.0
eth-rlp                   0.3.0
eth-typing                3.4.0
eth-utils                 2.2.0
execnet                   2.0.2
executing                 1.2.0
filelock                  3.12.3
frozenlist                1.4.0
graphviz                  0.19.2
halmos                    0.1.8.dev5+g9ae36d1
hexbytes                  0.3.1
idna                      3.4
iniconfig                 2.0.0
intervaltree              3.1.0
ipdb                      0.13.13
ipython                   8.15.0
isort                     5.12.0
jedi                      0.19.0
Jinja2                    3.1.2
jsonschema                4.19.0
jsonschema-specifications 2023.7.1
lazy-object-proxy         1.9.0
lru-dict                  1.2.0
markdown-it-py            3.0.0
MarkupSafe                2.1.3
matplotlib-inline         0.1.6
mccabe                    0.7.0
mdurl                     0.1.2
multidict                 6.0.4
mypy-extensions           1.0.0
networkx                  2.8.8
numpy                     1.25.2
openai                    0.27.10
ordered-set               4.1.0
packaging                 23.1
parsimonious              0.9.0
parso                     0.8.3
pathspec                  0.11.2
pathvalidate              2.5.2
pdoc                      14.0.0
pexpect                   4.8.0
pickleshare               0.7.5
pip                       23.2.1
platformdirs              3.10.0
pluggy                    1.3.0
prettytable               3.8.0
prompt-toolkit            3.0.39
protobuf                  4.24.2
ptyprocess                0.7.0
pure-eval                 0.2.2
pycryptodome              3.18.0
pydantic                  1.10.12
Pygments                  2.16.1
pylint                    2.13.4
pytest                    7.4.0
pytest-cov                4.1.0
pytest-insta              0.2.0
pytest-xdist              3.3.1
pyunormalize              15.0.0
referencing               0.30.2
regex                     2023.8.8
requests                  2.31.0
rich                      13.5.3
rich-click                1.6.1
rlp                       3.0.0
rpds-py                   0.10.0
setuptools                67.6.1
six                       1.16.0
slither-analyzer          0.9.3               .../slither
slither-analyzer          0.9.3
slitherin                 0.3.0               .../slitherin
solc-select               1.0.4
sortedcontainers          2.4.0
stack-data                0.6.2
tblib                     1.7.0
tomli                     2.0.1
toolz                     0.12.0
tqdm                      4.66.1
traitlets                 5.10.0
typing_extensions         4.7.1
urllib3                   2.0.4
watchdog                  2.2.1
wcwidth                   0.2.6
web3                      6.9.0
websocket-client          1.6.3
websockets                11.0.3
woke                      3.5.0
wrapt                     1.15.0
yarl                      1.9.2
z3-solver                 4.12.2.0

Additional context

N/A

[daejunpark]

subsumed by #399, closing