fix calldata tests

6 years ago · 105feb44ac
parent 959635253d
commit 105feb44ac
1 changed files with 2 additions and 2 deletions
--- a/tests/laser/state/calldata_test.py
+++ b/tests/laser/state/calldata_test.py
@ -48,7 +48,7 @@ def test_concrete_calldata_constrain_index():
    value = calldata[2]
    constraint = value == 3

-    solver.add([constraint])
+    solver.add(constraint)
    result = solver.check()

    # Assert
@ -65,7 +65,7 @@ def test_symbolic_calldata_constrain_index():

    constraints = [value == 1, calldata.calldatasize == 50]

-    solver.add(constraints)
+    solver.add(*constraints)

    result = solver.check()