mirror of https://github.com/crytic/slither
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
38 lines
1.8 KiB
38 lines
1.8 KiB
from slither import Slither
|
|
from slither.visitors.expression.constants_folding import ConstantFolding
|
|
|
|
|
|
def test_constant_folding_unary():
|
|
Slither("./tests/constant_folding_unary.sol")
|
|
|
|
def test_constant_folding_rational():
|
|
s = Slither("./tests/constant_folding_rational.sol")
|
|
contract = s.get_contract_from_name("C")[0]
|
|
|
|
variable_a = contract.get_state_variable_from_name("a")
|
|
assert str(variable_a.type) == "uint256"
|
|
assert str(ConstantFolding(variable_a.expression, "uint256").result()) == "10"
|
|
|
|
variable_b = contract.get_state_variable_from_name("b")
|
|
assert str(variable_b.type) == "int128"
|
|
assert str(ConstantFolding(variable_b.expression, "int128").result()) == "2"
|
|
|
|
variable_c = contract.get_state_variable_from_name("c")
|
|
assert str(variable_c.type) == "int64"
|
|
assert str(ConstantFolding(variable_c.expression, "int64").result()) == "3"
|
|
|
|
variable_d = contract.get_state_variable_from_name("d")
|
|
assert str(variable_d.type) == "int256"
|
|
assert str(ConstantFolding(variable_d.expression, "int256").result()) == "1500"
|
|
|
|
variable_e = contract.get_state_variable_from_name("e")
|
|
assert str(variable_e.type) == "uint256"
|
|
assert str(ConstantFolding(variable_e.expression, "uint256").result()) == "57896044618658097711785492504343953926634992332820282019728792003956564819968"
|
|
|
|
variable_f = contract.get_state_variable_from_name("f")
|
|
assert str(variable_f.type) == "uint256"
|
|
assert str(ConstantFolding(variable_f.expression, "uint256").result()) == "115792089237316195423570985008687907853269984665640564039457584007913129639935"
|
|
|
|
variable_g = contract.get_state_variable_from_name("g")
|
|
assert str(variable_g.type) == "int64"
|
|
assert str(ConstantFolding(variable_g.expression, "int64").result()) == "-7"
|
|
|