summaryrefslogtreecommitdiff
path: root/test
AgeCommit message (Expand)Author
2016-02-12fix arbitrary instancePéter Diviánszky
2016-02-12switch to megaparsecPéter Diviánszky
2016-02-04update TODOsPéter Diviánszky
2016-02-04begin to support qualified module namesPéter Diviánszky
2016-01-30LambdaCube.Compiler.Driver --> LambdaCube.CompilerPéter Diviánszky
2016-01-29try to remove more expType callsPéter Diviánszky
2016-01-29remove some expType callsPéter Diviánszky
2016-01-29Set quickcheck parameters in tasty tests and add MaxDB monoid tests.Andor Penzes
2016-01-28add option for ignoring test casesPéter Diviánszky
2016-01-26update UnitTests.hsPéter Diviánszky
2016-01-26reorder definitions in Infer.hsPéter Diviánszky
2016-01-26refactoring: move ESC handling to Pretty.hsPéter Diviánszky
2016-01-26bugfix: do not timeout questions; improvement: show test file name before doi...Péter Diviánszky
2016-01-25allow to set timeoutPéter Diviánszky
2016-01-25make the code more warning freePéter Diviánszky
2016-01-25bugfix & improved messagesPéter Diviánszky
2016-01-25Fix in getYNCharAndor Penzes
2016-01-25refactoringPéter Diviánszky
2016-01-25refactoringPéter Diviánszky
2016-01-25small refactoringPéter Diviánszky
2016-01-25show overall timePéter Diviánszky
2016-01-25don't show error message for wip testsPéter Diviánszky
2016-01-25sort all kind of tests in one poolPéter Diviánszky
2016-01-25new timed-out category; show run time of chrashed tests tooPéter Diviánszky
2016-01-25refactoring; fail if no .out file is found on travisPéter Diviánszky
2016-01-25apply hlint suggestionsPéter Diviánszky
2016-01-23fix time measurementCsaba Hruska
2016-01-23fix test loggingCsaba Hruska
2016-01-23tweak test logCsaba Hruska
2016-01-23more compact logCsaba Hruska
2016-01-22Remove Arbitrary set as newer version of quickcheck supports it.Andor Penzes
2016-01-22Add more Monoid tests.Andor Penzes
2016-01-22use strict version readFile function to lower resource usage (e.g. opened fil...Csaba Hruska
2016-01-22several improvement to get better tooltipsPéter Diviánszky
2016-01-22Add accepted/rejected tests to the passed/failed set.Andor Penzes
2016-01-22Add prular to test result endings.Andor Penzes
2016-01-22Print already passed WIP testsAndor Penzes
2016-01-21improve output lookCsaba Hruska
2016-01-20Prettify print of test failed results.Andor Penzes
2016-01-20Print the runtime of test cases.Andor Penzes
2016-01-20Add 'Work In Progress' for tests.Andor Penzes
2016-01-20Add TestCase type.Andor Penzes
2016-01-20filter WIP testsCsaba Hruska
2016-01-20cleanup test filter codeCsaba Hruska
2016-01-19Use optparse-applicative in runTestsAndor Penzes
2016-01-19improve test framework: add -notimeout flag, collect test in nested directori...Csaba Hruska
2016-01-13filter tooltips in out files: don't show other modules' tooltipsPéter Diviánszky
2016-01-11add debug information to NoSI constructorAndor Penzes
2016-01-11nub tooltip itemsPéter Diviánszky
2016-01-09cleanup Driver.hsPéter Diviánszky