summaryrefslogtreecommitdiffstats
path: root/testsuite/semok/cast.stp
Commit message (Expand)AuthorAgeFilesLines
* Allow @cast failures to get optimized awayJosh Stone2009-05-081-0/+6
* Refine the @cast-with-header syntaxJosh Stone2009-04-211-2/+2
* Add tests for @cast-generated modulesJosh Stone2009-04-201-0/+4
* Add simple testcases for @castJosh Stone2009-03-111-0/+13