4a23805updated the test outputPoroCYon10 years ago 276ba0aMove `timeout` from `test/bin/` to `test/scripts/`Steven Shaw10 years ago 15bed57Simplify basic010 and reg039.Steven Shaw10 years ago 5f3f81dEnable unified diff for tasty tests #3309.Steven Shaw10 years ago 6db256aFix formatting of some testsgpyh10 years ago c47608dDon't require expect for tests with timeoutsNiklas Larsson12 years ago 2ffd9e4Add a timeout.Matus Tejiscak12 years ago b9781fbMake evidence witness explicit.Matus Tejiscak12 years ago f13c6adAdd test, create the DepPair typeclass.Matus Tejiscak12 years ago