solidity/test/libsolidity/smtCheckerTests/file_level/constant_different_source.sol
2022-04-01 23:41:18 -05:00

13 lines
289 B
Solidity

==== Source: l.sol ====
library L {
int constant one = 1;
function f() internal {
one;
}
}
==== Source: s1.sol ====
library L {}
// ----
// Warning 6133: (l.sol:62-65='one'): Statement has no effect.
// Warning 2018: (l.sol:36-69): Function state mutability can be restricted to pure