Benchmark | CriterionPlus |
benchmark | CriterionPlus |
continue | CriterionPlus |
group | CriterionPlus |
Name | CriterionPlus |
nf | CriterionPlus |
nfIO | CriterionPlus |
pause | CriterionPlus |
Standoff | CriterionPlus |
standoff | CriterionPlus |
Subject | CriterionPlus |
subject | CriterionPlus |
whnf | CriterionPlus |
whnfIO | CriterionPlus |