Traceback (most recent call last):


 "/Users/e346104/anaconda/lib/python3.5/site-packages/flask/app.py", line 1988, in wsgi_app

response = self.full_dispatch_request()


 "/Users/e346104/anaconda/lib/python3.5/site-packages/flask/app.py", line 1641, in full_dispatch_request

rv = self.handle_user_exception(e)


 "/Users/e346104/anaconda/lib/python3.5/site-packages/flask/app.py", line 1544, in handle_user_exception

reraise(exc_type, exc_value, tb)


 "/Users/e346104/anaconda/lib/python3.5/site-packages/flask/_compat.py", line 33, in reraise

raise value


 "/Users/e346104/anaconda/lib/python3.5/site-packages/flask/app.py", line 1639, in full_dispatch_request

rv = self.dispatch_request()


 "/Users/e346104/anaconda/lib/python3.5/site-packages/flask/app.py", line 1625, in dispatch_request

return self.view_functions[rule.endpoint](**req.view_args)


 "pymc3WS.py", line 39, in RunSimulation

r = genResults()


 "pymc3WS.py", line 25, in genResults

step = pymc3.Metropolis()


 "/Users/e346104/anaconda/lib/python3.5/site-packages/pymc3/step_methods/arraystep.py", line 65, in __new__

step.__init__([var], *args, **kwargs)


 "/Users/e346104/anaconda/lib/python3.5/site-packages/pymc3/step_methods/metropolis.py", line 130, in __init__

self.delta_logp = delta_logp(model.logpt, vars, shared)


 "/Users/e346104/anaconda/lib/python3.5/site-packages/pymc3/step_methods/metropolis.py", line 479, in delta_logp

[logp0], inarray0 = pm.join_nonshared_inputs([logp], vars, shared)


 "/Users/e346104/anaconda/lib/python3.5/site-packages/pymc3/theanof.py", line 240, in join_nonshared_inputs

inarray.tag.test_value = joined.tag.test_value
AttributeError: 'scratchpad' object has no attribute 'test_value'

Traceback (most recent call last):


 "/home/manticore/.local/lib/python3.6/site-packages/manticore/core/executor.py", line 462, in run

if not current_state.execute():


 "/home/manticore/.local/lib/python3.6/site-packages/manticore/core/state.py", line 133, in execute

result = self._platform.execute()


 "/home/manticore/.local/lib/python3.6/site-packages/manticore/platforms/evm.py", line 2057, in execute

self.current_vm.execute()


 "/home/manticore/.local/lib/python3.6/site-packages/manticore/platforms/evm.py", line 852, in execute

result = self._handler(*arguments)


 "/home/manticore/.local/lib/python3.6/site-packages/manticore/platforms/evm.py", line 778, in _handler

return implementation(*arguments)


 "/home/manticore/.local/lib/python3.6/site-packages/manticore/platforms/evm.py", line 386, in wrapper

return func(*args, **kwargs)


 "/home/manticore/.local/lib/python3.6/site-packages/manticore/platforms/evm.py", line 1114, in SHA3

self._publish('on_symbolic_sha3', data, known_sha3)
# This updates the local copy of sha3 with the pairs we need to explore


 "/home/manticore/.local/lib/python3.6/site-packages/manticore/utils/event.py", line 117, in _publish

self._publish_impl(_name, *args, **kwargs)


 "/home/manticore/.local/lib/python3.6/site-packages/manticore/utils/event.py", line 134, in _publish_impl

sink._publish_impl(_name, *args, **kwargs)


 "/home/manticore/.local/lib/python3.6/site-packages/manticore/utils/event.py", line 134, in _publish_impl

sink._publish_impl(_name, *args, **kwargs)


 "/home/manticore/.local/lib/python3.6/site-packages/manticore/utils/event.py", line 132, in _publish_impl

sink._publish_impl(_name, self, *args, **kwargs)


 "/home/manticore/.local/lib/python3.6/site-packages/manticore/utils/event.py", line 125, in _publish_impl

callback(robj(), *args, **kwargs)


 "/home/manticore/.local/lib/python3.6/site-packages/manticore/ethereum/__init__.py", line 1099, in _on_symbolic_sha3_callback

known_sha3.append((data_concrete, data_hash))
AttributeError: 'set' object has no attribute 'append'
