diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-08-02 10:25:22 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2018-11-22 21:33:28 +0800 |
| commit | 109cfcef6902c0c3550e6e56b328183386c69c67 (patch) | |
| tree | 653525a6351353e940c199d94e68d7d15f064bf7 /test/libsolidity/smtCheckerTests/smoke_test.sol | |
| parent | 636da48e82f64224a8611dabad1b8a1a019fcfd4 (diff) | |
| download | dexon-solidity-109cfcef6902c0c3550e6e56b328183386c69c67.tar.gz dexon-solidity-109cfcef6902c0c3550e6e56b328183386c69c67.tar.zst dexon-solidity-109cfcef6902c0c3550e6e56b328183386c69c67.zip | |
Drop numbering in front of the SMTChecker tests
Diffstat (limited to 'test/libsolidity/smtCheckerTests/smoke_test.sol')
| -rw-r--r-- | test/libsolidity/smtCheckerTests/smoke_test.sol | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/libsolidity/smtCheckerTests/smoke_test.sol b/test/libsolidity/smtCheckerTests/smoke_test.sol new file mode 100644 index 00000000..8b7b77da --- /dev/null +++ b/test/libsolidity/smtCheckerTests/smoke_test.sol @@ -0,0 +1,3 @@ +pragma experimental SMTChecker; +contract C { +} |