Export tmp.zip-MinMax-slitherConstructorVariables().dot
Export tmp.zip-MinMax-slitherConstructorConstantVariables().dot

digraph{
0[label="Node Type: OTHER_ENTRYPOINT 0

EXPRESSION:
a = type()(uint256).max

IRs:
TMP_1(uint256) := 115792089237316195423570985008687907853269984665640564039457584007913129639935(uint256)
a(uint256) := TMP_1(uint256)"];
0->1;
1[label="Node Type: OTHER_ENTRYPOINT 1

EXPRESSION:
b = type()(uint256).min

IRs:
TMP_3(uint256) := 0(uint256)
b(uint256) := TMP_3(uint256)"];
1->2;
2[label="Node Type: OTHER_ENTRYPOINT 2

EXPRESSION:
i = type()(uint8).max

IRs:
TMP_5(uint8) := 255(uint8)
i(uint8) := TMP_5(uint8)"];
2->3;
3[label="Node Type: OTHER_ENTRYPOINT 3

EXPRESSION:
j = type()(uint8).min

IRs:
TMP_7(uint8) := 0(uint8)
j(uint8) := TMP_7(uint8)"];
}

digraph{
0[label="Node Type: OTHER_ENTRYPOINT 0

EXPRESSION:
c = type()(int256).max

IRs:
TMP_9(int256) := 57896044618658097711785492504343953926634992332820282019728792003956564819967(int256)
c(int256) := TMP_9(int256)"];
0->1;
1[label="Node Type: OTHER_ENTRYPOINT 1

EXPRESSION:
d = type()(int256).min

IRs:
TMP_11(int256) := -57896044618658097711785492504343953926634992332820282019728792003956564819968(int256)
d(int256) := TMP_11(int256)"];
}

