diff options
Merge pull request #3943 from ethereum/smt_remove_branch_warning
[SMTChecker] Remove 'information is erase' message for if-else
Diffstat (limited to 'test/libsolidity/syntaxTests/arrayLength/cannot_be_function.sol')
0 files changed, 0 insertions, 0 deletions