Traceback (most recent call last):


 "bug.py", line 24, in <module>

contract_account.f(caller=user_account)


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.10-py2.7.egg/manticore/ethereum.py", line 981, in f

data=tx_data)


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.10-py2.7.egg/manticore/ethereum.py", line 1541, in transaction

self._transaction('CALL', caller, value=value, address=address, data=data)


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.10-py2.7.egg/manticore/ethereum.py", line 1697, in _transaction

_, caller, address, value, data = self.__migrate_expressions(state.constraints, self.constraints, caller, address, value, data)


 "/usr/local/lib/python2.7/dist-packages/manticore-0.1.10-py2.7.egg/manticore/ethereum.py", line 1624, in __migrate_expressions

new_constraints.constraint(new_constraints.migrate(c, bindings=migration_bindings))
AttributeError: 'ConstraintSet' object has no attribute 'constraint'

`Traceback (most recent call last):


 "TBSAirService.py", line 69, in <module>

Itinerary=itinerary, Passengers=passengers, Filters=filters)


 "/usr/local/lib/python2.7/dist-packages/zeep/client.py", line 41, in __call__

self._op_name, args, kwargs)


 "/usr/local/lib/python2.7/dist-packages/zeep/wsdl/bindings/soap.py", line 110, in send

options=options)


 "/usr/local/lib/python2.7/dist-packages/zeep/wsdl/bindings/soap.py", line 68, in _create

serialized = operation_obj.create(*args, **kwargs)


 "/usr/local/lib/python2.7/dist-packages/zeep/wsdl/definitions.py", line 197, in create

return self.input.serialize(*args, **kwargs)


 "/usr/local/lib/python2.7/dist-packages/zeep/wsdl/messages/soap.py", line 64, in serialize

self.body.render(body, body_value)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/elements/element.py", line 191, in render

self._render_value_item(parent, value, render_path)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/elements/element.py", line 215, in _render_value_item

return self.type.render(node, value, None, render_path)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/types/complex.py", line 253, in render

element.render(parent, element_value, child_path)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/elements/indicators.py", line 241, in render

element.render(parent, element_value, child_path)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/elements/element.py", line 191, in render

self._render_value_item(parent, value, render_path)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/elements/element.py", line 215, in _render_value_item

return self.type.render(node, value, None, render_path)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/types/complex.py", line 253, in render

element.render(parent, element_value, child_path)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/elements/indicators.py", line 241, in render

element.render(parent, element_value, child_path)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/elements/element.py", line 189, in render

self._render_value_item(parent, val, render_path)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/elements/element.py", line 215, in _render_value_item

return self.type.render(node, value, None, render_path)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/types/complex.py", line 253, in render

element.render(parent, element_value, child_path)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/elements/indicators.py", line 241, in render

element.render(parent, element_value, child_path)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/elements/element.py", line 191, in render

self._render_value_item(parent, value, render_path)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/elements/element.py", line 215, in _render_value_item

return self.type.render(node, value, None, render_path)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/types/complex.py", line 226, in render

attribute.render(parent, attr_value, child_path)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/elements/attribute.py", line 33, in render

value = self.type.xmlvalue(value)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/types/builtins.py", line 32, in _wrapper

return func(self, value)


 "/usr/local/lib/python2.7/dist-packages/zeep/xsd/types/builtins.py", line 150, in xmlvalue

if value.microsecond:
AttributeError: 'unicode' object has no attribute 'microsecond'
