on b817deb help sign in
Idris-dev/test/regression001
27 files
../ coverage001.idrBetter choice of pattern to inspect in coverage eff001.idrFix whnfArgs naming error expectedTesting Adjustments for Quicker Regression Tests. reg001.idrTesting Adjustments for Quicker Regression Tests. reg036.idrMake arguments implicit in HVect.Shows reg037.idrTesting Adjustments for Quicker Regression Tests. reg038.idrTesting Adjustments for Quicker Regression Tests. reg046.idrTesting Adjustments for Quicker Regression Tests. reg047.idrTesting Adjustments for Quicker Regression Tests. reg047a.idrTesting Adjustments for Quicker Regression Tests. reg053.idrTesting Adjustments for Quicker Regression Tests. reg057.idrTesting Adjustments for Quicker Regression Tests. reg058.idrTesting Adjustments for Quicker Regression Tests. reg058a.idrTesting Adjustments for Quicker Regression Tests. reg059.idrTesting Adjustments for Quicker Regression Tests. reg060.idrTesting Adjustments for Quicker Regression Tests. reg061.idrTesting Adjustments for Quicker Regression Tests. reg062.idrTesting Adjustments for Quicker Regression Tests. reg062.lidrTesting Adjustments for Quicker Regression Tests. reg063.idrTesting Adjustments for Quicker Regression Tests. reg064.idrTesting Adjustments for Quicker Regression Tests. reg065.idrreplace code level class symbol with inferface reg066.idrTesting Adjustments for Quicker Regression Tests. reg071.idrTesting Adjustments for Quicker Regression Tests. reg073.lidrTesting Adjustments for Quicker Regression Tests. reg074.idrTesting Adjustments for Quicker Regression Tests. runBetter choice of pattern to inspect in coverage