solidity/test/cmdlineTests/model_checker_engine_bmc/input.sol at smt_eldarica_cex - 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

Leonardo Alt ad10bee8f0 update command line tests

2021-04-08 21:03:39 +02:00

7 lines

136 B

Solidity

Raw Permalink Blame History

 // SPDX-License-Identifier: GPL-3.0
 pragma solidity >=0.0;
 contract test {
     function f(uint x) public pure {
 		assert(x > 0);
     }
 }