aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/SMTChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
* Move some struct tests to require ABIEncoderV2Alex Beregszaszi2017-12-111-0/+1
* Fix test.chriseth2017-12-041-4/+3
* Another test for division.chriseth2017-11-301-0/+10
* Unary operators and division.chriseth2017-11-301-0/+85
* For loop.chriseth2017-11-221-0/+67
* Test for multi-branches.chriseth2017-11-221-0/+18
* Fix boolean constants.chriseth2017-11-221-12/+9
* Tests.chriseth2017-11-221-0/+31
* Tests.chriseth2017-11-221-0/+240
* SMT should not crash on typecast/structsAlex Beregszaszi2017-10-051-0/+26
* Tests for SMT checker.chriseth2017-09-291-0/+86