Traceback (most recent call last):


 "/home/jpgong/mythril/contract＿detection/venv/lib/python3.6/site-packages/mythril/mythril/mythril_analyzer.py", line 160, in fire_lasers

custom_modules_directory=self.custom_modules_directory,


 "/home/jpgong/mythril/contract＿detection/venv/lib/python3.6/site-packages/mythril/analysis/symbolic.py", line 215, in __init__

self.laser.sym_exec(world_state=world_state, target_address=address.value)


 "/home/jpgong/mythril/contract＿detection/venv/lib/python3.6/site-packages/mythril/laser/ethereum/svm.py", line 155, in sym_exec

self._execute_transactions(symbol_factory.BitVecVal(target_address, 256))


 "/home/jpgong/mythril/contract＿detection/venv/lib/python3.6/site-packages/mythril/laser/ethereum/svm.py", line 202, in _execute_transactions

state for state in self.open_states if state.constraints.is_possible


 "/home/jpgong/mythril/contract＿detection/venv/lib/python3.6/site-packages/mythril/laser/ethereum/svm.py", line 202, in <listcomp>

state for state in self.open_states if state.constraints.is_possible


 "/home/jpgong/mythril/contract＿detection/venv/lib/python3.6/site-packages/mythril/laser/ethereum/state/constraints.py", line 32, in is_possible

get_model(tuple(self[:]))


 "/home/jpgong/mythril/contract＿detection/venv/lib/python3.6/site-packages/mythril/support/model.py", line 28, in get_model

timeout = min(timeout, time_handler.time_remaining() - 500)
TypeError: '<' not supported between instances of 'int' and 'NoneType'

Traceback (most recent call last):


 "src/PaddlePredictor.py", line 102, in process_predict

result.success = self._handler.predict(args.tenantId, args.predictorId, args.input)


 "src/paddle_predictor_server.py", line 173, in predict

result = adapter_method(model_obj, parsed_input)


 "src/adapter.py", line 191, in entity_tagging

result = model.predict(modified_input)


 "src/paddle_predictor_server.py", line 106, in predict

result = self.model.predict(data)


 "src/model.py", line 39, in predict

input = self.converter(self.data_provider_module.convert_data(data))


 "/usr/local/lib/python2.7/site-packages/py_paddle/dataprovider_converter.py", line 233, in __call__

return self.convert(dat, argument)


 "/usr/local/lib/python2.7/site-packages/py_paddle/dataprovider_converter.py", line 225, in convert

scanner.scan(each_step)


 "/usr/local/lib/python2.7/site-packages/py_paddle/dataprovider_converter.py", line 184, in scan

self.__inner_scanner__.scan(each)


 "/usr/local/lib/python2.7/site-packages/py_paddle/dataprovider_converter.py", line 109, in scan

self.__mat__[self.__height__] = dat
TypeError: 'NoneType' object does not support item assignment
