diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-07-25 06:23:54 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2018-07-25 06:23:54 +0800 |
| commit | d30a6de94287a4bd34b4cec09d60018f1bff083c (patch) | |
| tree | a8639537d9cff9e8b1443b5094941b3441354ac2 /test | |
| parent | 278372c13d611b829fbad6984a0a3951f0a11d99 (diff) | |
| download | dexon-solidity-d30a6de94287a4bd34b4cec09d60018f1bff083c.tar.gz dexon-solidity-d30a6de94287a4bd34b4cec09d60018f1bff083c.tar.zst dexon-solidity-d30a6de94287a4bd34b4cec09d60018f1bff083c.zip | |
Add better warning on binary operation on non-integer types in SMT Checker
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions