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/visibility/interface/function_public.sol')
0 files changed, 0 insertions, 0 deletions