Skip to content

Instantly share code, notes, and snippets.

View lght's full-sized avatar

Cole Lightfighter lght

View GitHub Profile
@lght
lght / key-error-and-coverage-bug.md
Created November 30, 2017 00:53
error readout, solidity code, and manticore test code for producing KeyError 
2017-11-29 17:45:35,291: [21242] m.manticore:INFO: Starting 1 processes.
2017-11-29 17:45:35,666: [21242] m.manticore:INFO: Results in /projects/parity-contracts/tests/manticore/mcore_UjFkeu
2017-11-29 17:45:35,666: [21242] m.manticore:INFO: Total time: 0.375358104706
 private_contract_account 1BFA530D5D685155E98CD7D9DD23F7B6A801CFEF
2017-11-29 17:45:35,675: [21242] m.manticore:INFO: Starting 10 processes.
2017-11-29 17:45:35,828: [21291] m.manticore:INFO: Generated testcase No. 0 - REVERT
2017-11-29 17:45:36,578: [21281] m.c.executor:ERROR: Exception: 1L
Traceback (most recent call last):
  File "/.pwn/lib/python2.7/site-packages/manticore/core/executor.py", line 460, in run