summaryrefslogtreecommitdiff
path: root/Test/test0/Triggers1.bpl.expect
Commit message (Expand)AuthorAge
* Enabled most of the name resolution lit tests. They don't all passGravatar Dan Liew2014-05-05