Traceback (most recent call last):


 "/usr/local/bin/vaex", line 11, in <module>

load_entry_point('vaex==1.0.0b6', 'console_scripts', 'vaex')()


 "/usr/lib/python3/dist-packages/pkg_resources/__init__.py", line 561, in load_entry_point

return get_distribution(dist).load_entry_point(group, name)


 "/usr/lib/python3/dist-packages/pkg_resources/__init__.py", line 2631, in load_entry_point

return ep.load()


 "/usr/lib/python3/dist-packages/pkg_resources/__init__.py", line 2291, in load

return self.resolve()


 "/usr/lib/python3/dist-packages/pkg_resources/__init__.py", line 2297, in resolve

module = __import__(self.module_name, fromlist=['__name__'], level=0)


 "/usr/local/lib/python3.5/dist-packages/vaex/__init__.py", line 71, in <module>

import vaex.dataset


 "/usr/local/lib/python3.5/dist-packages/vaex/dataset.py", line 18, in <module>

import vaex.utils


 "/usr/local/lib/python3.5/dist-packages/vaex/utils.py", line 179, in <module>

class CpuUsage(progressbar.widgets.FormatWidgetMixin, progressbar.widgets.TimeSensitiveWidgetBase):
AttributeError: module 'progressbar.widgets' has no attribute 'FormatWidgetMixin'

Traceback (most recent call last):


 "/home/nikhil/MYTHRIL/mythril/mythril/analysis/symbolic.py", line 70, in __init__

creation_code=contract.creation_code, contract_name=contract.name


 "/home/nikhil/MYTHRIL/mythril/mythril/laser/ethereum/svm.py", line 124, in sym_exec

self._execute_transactions(created_account.address)


 "/home/nikhil/MYTHRIL/mythril/mythril/laser/ethereum/svm.py", line 154, in _execute_transactions

execute_message_call(self, address)


 "/home/nikhil/MYTHRIL/mythril/mythril/laser/ethereum/transaction/symbolic.py", line 57, in execute_message_call

laser_evm.exec()


 "/home/nikhil/MYTHRIL/mythril/mythril/laser/ethereum/svm.py", line 186, in exec

new_states, op_code = self.execute_state(global_state)


 "/home/nikhil/MYTHRIL/mythril/mythril/laser/ethereum/svm.py", line 209, in execute_state

self._execute_pre_hook(op_code, global_state)


 "/home/nikhil/MYTHRIL/mythril/mythril/laser/ethereum/svm.py", line 402, in _execute_pre_hook

hook(global_state)


 "/home/nikhil/MYTHRIL/mythril/mythril/analysis/modules/dependence_on_predictable_vars.py", line 36, in execute

self._issues.extend(_analyze_states(state))


 "/home/nikhil/MYTHRIL/mythril/mythril/analysis/modules/dependence_on_predictable_vars.py", line 74, in _analyze_states

if solve(call):


 "/home/nikhil/MYTHRIL/mythril/mythril/analysis/modules/dependence_on_predictable_vars.py", line 189, in solve

pretty_model = solver.pretty_print_model(model)


 "/home/nikhil/MYTHRIL/mythril/mythril/analysis/solver.py", line 50, in pretty_print_model

condition = str(simplify(model[d]))


 "/home/nikhil/MYTHRIL/mythril/mythril/laser/smt/expression.py", line 35, in simplify

expression.simplify()
AttributeError: 'QuantifierRef' object has no attribute 'simplify'
