aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/smtCheckerTests/loops/for_loop_6.sol
Commit message (Expand)AuthorAgeFilesLines
* [SMTChecker] Loops are unrolled onceLeonardo Alt2018-12-041-2/+3
* Organize smt tests in subdirectoriesLeonardo Alt2018-11-221-0/+12