solverify learn formal method dependencies u should have all oyente environments: solc z3 evm objectives a transparent process, a module based analyze platform, a better visual results start as a fuzz caller: PYTHONPATH=../FUZZDIR/ python3 embserver.py