Skip to content
This repository has been archived by the owner on May 26, 2023. It is now read-only.

Commit

Permalink
fix utils
Browse files Browse the repository at this point in the history
  • Loading branch information
beaugunderson committed Jul 23, 2017
1 parent 6bf3efb commit a46d1c9
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 11 deletions.
10 changes: 0 additions & 10 deletions oyente/arithmetic_utils.py

This file was deleted.

2 changes: 1 addition & 1 deletion oyente/test_evm/evm_unit_test.py
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
from z3 import *

from global_params import *
from arithmetic_utils import *
from utils import to_unsigned

from .global_test_params import *

Expand Down

0 comments on commit a46d1c9

Please sign in to comment.