git.iko.soy/Idris-dev
on 385dcbf help sign in
history oftest/reg039/run
all commits
037ea33Fix reg039Edwin Brady 276ba0aMove `timeout` from `test/bin/` to `test/scripts/`Steven Shaw 15bed57Simplify basic010 and reg039.Steven Shaw 5f3f81dEnable unified diff for tasty tests #3309.Steven Shaw 6db256aFix formatting of some testsgpyh c47608dDon't require expect for tests with timeoutsNiklas Larsson 1f67546Fix test reg039 and add it to idris.cabalMelvar Chen ce414b8Regression test for infinite regress in executorDavid Raymond Christiansen