git.iko.soy/Idris-dev
on 4e69658 help sign in
Idris-dev/test/regression001
25 files
../ expectedTesting Adjustments for Quicker Regression Tests. reg001.idrTesting Adjustments for Quicker Regression Tests. reg036.idrTesting Adjustments for Quicker Regression Tests. 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.idrTesting Adjustments for Quicker Regression Tests. 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. runTesting Adjustments for Quicker Regression Tests.