solidity/test/libsolidity/smtCheckerTests/functions/constructor_hierarchy_empty_chain.sol
2019-11-28 14:43:23 +01:00

23 lines
438 B
Solidity

pragma experimental SMTChecker;
contract F {
uint a;
constructor() public {
a = 2;
}
}
contract E is F {}
contract D is E {}
contract C is D {}
contract B is C {}
contract A is B {
constructor(uint x) public {
assert(a == 2);
assert(a == 3);
}
}
// ----
// Warning: (201-207): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (238-252): Assertion violation happens here