git.iko.soy/Idris-dev
on 2be265d help sign in
history oftest/TestRun.hs
all commits
09263c1Don't query width when not a ttyNiklas Larsson 32fb4e0Normalise embedded paths in `normalise`.Steven Shaw 5f3f81dEnable unified diff for tasty tests #3309.Steven Shaw 214e57eRevert "Pass on the output on stderr from tests. (#3310)" (#3320)Niklas Larsson 2100241Rename testsEdwin Brady c1810b8Pass on the output on stderr from tests. (#3310)Niklas Larsson 5cd964dEnable tasty test listing.Steven Shaw 9e4ad67Fix test fail on macNiklas Larsson c2c4165Fix testsuite regression on Windows.Niklas Larsson 54b94b9Port the test infrastructure to Tastygpyh