test calldata constraints

6 years ago · eb2e56c697
parent 575f3d73ac
commit eb2e56c697
1 changed files with 7 additions and 1 deletions
--- a/tests/laser/evm_testsuite/evm_test.py
+++ b/tests/laser/evm_testsuite/evm_test.py
@ -83,7 +83,13 @@ def test_vmtest(
        return

    world_state = laser_evm.open_states[0]
-    model = get_model(next(iter(laser_evm.nodes.values())).states[0].mstate.constraints)
+
+    node = next(iter(laser_evm.nodes.values()))
+    constraints = node.states[0].mstate.constraints
+    for constraint in node.states[0].environment.calldata.constraints:
+        assert constraint in constraints
+
+    model = get_model(constraints)

    for address, details in post_condition.items():
        account = world_state[address]