Files
solidity/test/libsolidity/smtCheckerTests/array_members/pop_2d_safe.sol

12 lines
129 B
Solidity

contract C {
uint[][] a;
function f() public {
a.push();
a[0].push();
a[0].pop();
}
}
// ====
// SMTEngine: all
// ----