summaryrefslogtreecommitdiff
path: root/tests/result/limiter.out
Commit message (Collapse)AuthorAgeFilesLines
* Abstract interpretation gives good results on the limiter example.Alex Auvolat2014-06-181-24/+24
|
* Move a lot of things.Alex Auvolat2014-06-131-0/+31