functions_trivial_condition_if.sol « functions « smtCheckerTests « libsolidity « test - dexon-solidity - DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity)

about summary refs log tree commit diff stats

path: root/test/libsolidity/smtCheckerTests/functions/functions_trivial_condition_if.sol

blob: 364fe8d173b8ed60f0fadc2db8a2bad3f6c35b4a (plain) (blame)

pragma experimental SMTChecker;
contract C
{
    function f(bool x) public pure { require(x); if (x) {} }
}
// ----
// Warning: (95-96): Condition is always true.