solidity/test/libsolidity/smtCheckerTests/file_level/free_function_3.sol at NunoFilipeSantos-patch-2 - solidity - Gitea: come getta cuppa

cerc-io/solidity

mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00

Files

T

Alex Beregszaszi 1be07c2b36 Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

5 lines

55 B

Solidity

Raw Permalink Blame History

 function f() view {}
 // ====
 // SMTEngine: all
 // ----