Unexpected output after SIGINT
aviggiano opened this issue · comments
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