summaryrefslogtreecommitdiff
path: root/tests/result/half.out
Commit message (Collapse)AuthorAgeFilesLines
* Nice view of guarantees ; add half test, proved.Alex Auvolat2014-06-181-0/+21