Traceback (most recent call last):


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.9-py2.7.egg/manticore/core/executor.py", line 461, in run

if not current_state.execute():


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.9-py2.7.egg/manticore/core/state.py", line 127, in execute

result = self._platform.execute()


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.9-py2.7.egg/manticore/platforms/evm.py", line 2506, in execute

self.current_vm.execute()


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.9-py2.7.egg/manticore/platforms/evm.py", line 1334, in execute

result = self._handler(*arguments)


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.9-py2.7.egg/manticore/platforms/evm.py", line 1300, in _handler

return implementation(*arguments)


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.9-py2.7.egg/manticore/platforms/evm.py", line 1446, in SDIV

result = (abs(s0) // abs(s1) * (-1 if s0 * s1 < 0 else 1))
TypeError: bad operand type for abs(): 'BitVecITE'

Traceback (most recent call last):


 "A:\Arima\PROJECTS\Fin\ProjectFolder\CenterNet\Demo.py", line 14, in <module>

ret = detector.run(img)['results']


 "../CenterNet/src/lib\detectors\base_detector.py", line 118, in run

output, dets, forward_time = self.process(images, return_time=True)


 "../CenterNet/src/lib\detectors\ctdet.py", line 31, in process

output = self.model.apply(images)[-1]


 "A:\Python\lib\site-packages\torch\nn\modules\module.py", line 445, in apply

module.apply(fn)


 "A:\Python\lib\site-packages\torch\nn\modules\module.py", line 445, in apply

module.apply(fn)


 "A:\Python\lib\site-packages\torch\nn\modules\module.py", line 445, in apply

module.apply(fn)


 "A:\Python\lib\site-packages\torch\nn\modules\module.py", line 446, in apply

fn(self)
TypeError: 'Tensor' object is not callable`
