index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
run-test-suite.sh
Age
Commit message (
Expand
)
Author
2016-02-25
fix run-test-suite
Péter Diviánszky
2016-02-25
do not wire-in ignoring .ignore tests
Péter Diviánszky
2016-02-17
ignore performance tests
Csaba Hruska
2016-01-29
Set quickcheck parameters in tasty tests and add MaxDB monoid tests.
Andor Penzes
2016-01-27
Run profiling on travis.
Andor Penzes
2016-01-27
minimize profiling build
Csaba Hruska
2016-01-26
FIX: Remove tix file after coverage run.
Andor Penzes
2016-01-26
switch back to bash
Péter Diviánszky
2016-01-26
update UnitTests.hs
Péter Diviánszky
2016-01-26
Add sandbox dependency for profiling.
Andor Penzes
2016-01-09
separate coverage test suite
Andor Penzes
2016-01-07
unit tests are now in an exectable
Andor Penzes
2016-01-06
cabal test suite
Andor Penzes
2016-01-04
exit with failure if some tests has failed
Andor Penzes
2016-01-04
use docker image at testing
Andor Penzes
2015-12-30
option -r in test suite to reject test cases different than the stored ones
Andor Penzes
2015-12-25
Quit test suite run on error
Andor Penzes
2015-12-21
Do not include source files of the `indentation` package.
Péter Diviánszky
2015-12-19
switch to new compiler
Péter Diviánszky