Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Running setup.py install for z3-solver hangs for ever

See original GitHub issue

hi there,

I’ve tried to install mythril but z3 is hanging doing nothing.

equirement already satisfied: urllib3<1.23,>=1.21.1 in /usr/lib/python3.6/site-packages (from requests->mythril)
Requirement already satisfied: semantic-version>=2.6.0 in /usr/lib/python3.6/site-packages (from py-solc->mythril)
Requirement already satisfied: eth-keys<0.2.0,>=0.1.0b3 in /usr/lib/python3.6/site-packages (from eth-tester==0.1.0b11->web3->mythril)
Requirement already satisfied: setuptools in /usr/lib/python3.6/site-packages (from zc.lockfile->ZODB>=5.3.0->mythril)
Installing collected packages: z3-solver, laser-ethereum, py-solc, mythril
  Running setup.py install for z3-solver ... |

I have to ctrl-c because nothing is happening

I use pip3 and python 3.6 any idea what’s going one ? thank you

Issue Analytics

State:
Created 6 years ago
Comments:5 (3 by maintainers)

Top GitHub Comments

1reaction

muellerberndtcommented, Mar 9, 2018

Hi @fccbb, the z3-solver setup compiles a lot of native code which can take a long time. Did you try to let it run for an hour or so?

0reactions

muellerberndtcommented, Mar 11, 2018

Great, I’m closing this then!

Top Results From Across the Web

freezes on "Running setup.py install for scipy" - Stack Overflow

It took unexpectedly long, but it finished after several minutes. So problem solved.

z3-solver - PyPI

Z3 is a theorem prover from Microsoft Research with support for bitvectors, booleans, arrays, floating point numbers, strings, and other data types.

Bug List - FreeBSD Bugzilla

ID Product Component Assignee△ Status△ Changed 193984 Base System misc bugs New 2022‑02‑20 196243 Base System misc rgrimes New 2018‑02‑02 202551 Base System misc acpi New...

2020 Changelog | ClickHouse Docs

Fix bug when ON CLUSTER queries may hang forever for non-leader ... Add system.replicated_fetches table which shows currently running background fetches.

Discovering goroutine leaks with Semgrep - Trail of Bits Blog

Semgrep, as we will see, is a good tool for this job, ... This type of bug may cause goroutines to hang in...