summaryrefslogtreecommitdiff
path: root/Test/optimization/lit.local.cfg
Commit message (Collapse)AuthorAge
* Minor changesGravatar Valentin Wüstholz2015-11-19
|
* Add experimental support for optimization (requires Z3 build after changeset ↵Gravatar Valentin Wüstholz2015-11-18
9cba63c31f6f1466dd4ef442bb840d1ab84539c7).