git.iko.soy/Idris-dev
on ff7ea9d 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.