merge

Author: feliam

.github/workflows/ci.yml

@@ -43,7 +43,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        type: ["ethereum_truffle", "ethereum_bench", "examples", "ethereum", "ethereum_vm", "native", "other"] # "wasm", "wasm_sym",
+        type: ["ethereum_truffle", "ethereum_bench", "examples", "ethereum", "ethereum_vm", "native", "other", "wasm", "wasm_sym"]
     steps:
     - uses: actions/checkout@v1
     - name: Set up Python 3.6

.gitignore

@@ -45,6 +45,7 @@ nosetests.xml
 coverage.xml
 *,cover
 .hypothesis/
+mcore_*
 
 # Translations
 *.mo

examples/evm/asm_to_smtlib.py

@@ -117,7 +117,7 @@ def send_funds(self, address, recipient, value):
 callbacks = Callbacks()
 
 # evm = world.current_vm
-evm = EVM(constraints, 0x41424344454647484950, data, caller, value, code, world=world, gas=1000000)
+evm = EVM(0x41424344454647484950, data, caller, value, code, world=world, gas=1000000)
 evm.subscribe("will_execute_instruction", callbacks.will_execute_instruction)
 
 print("CODE:")

manticore/core/manticore.py

@@ -59,6 +59,7 @@
     description="The seed to use when randomly selecting states",
 )
 
+
 class ManticoreBase(Eventful):
     _published_events = {"solve"}
 

manticore/core/smtlib/constraints.py

@@ -82,6 +82,7 @@ def __enter__(self) -> "ConstraintSet":
         return self._child
 
     def __exit__(self, ty, value, traceback) -> None:
+        assert self._child is not None
         self._child._parent = None
         self._child = None