Running the Testsuite

This section gives information on how to use the testsuite.

The commands on this page can all be executed from the testsuite directory.

Speed settings

You can run make fast, make test (which uses the default speed settings, and is the same as just make) or make slow.

This table shows the differences between these three speed settings.

make how many tests how many ways used by whom
fast some 1 Travis (to stay within time limit)
test all 1 Phabricator (slow takes too long?)
slow all all Nightly (slow is ok)

Note: make slow is GHC >= 7.11 only.

See also Note [validate and testsuite speed] in the toplevel Makefile.

Commonly used options

You can run the testsuite in parallel to speed it up:

$ make THREADS=4

By default the testsuite uses the stage2 compiler. If you want to use another stage then:

$ make stage=1

To run the testsuite against a different GHC, say ghc-5.04 (this assumes the name specified corresponds to an executable on your path):

$ make TEST_HC=ghc-5.04

To run an individual test or tests (eg. tc054):

$ make TEST=tc054

To make this even faster, you can also go straight to the subdirectory containing the test (e.g ./tests/typecheck/should_compile/) and say 'make TEST=tc054' from there, which will save some time as the testsuite framework won't need to search as long to find the test you are referring to.

To run several tests, you just space separate them:

$ make TEST="tc053 tc054"

You can also run a whole group of related tests by changing to a subdirectory in the test cases tree:

$ cd ./tests/array
$ make

To run the tests one particular way only (eg. GHCi):

$ make WAY=ghci

To add specific options to the compiler:

$ make EXTRA_HC_OPTS='+RTS -K32M -RTS' 

To save disk space you can have temporary files deleted after each test:

$ make CLEANUP=1

To just clean all the tests, without running any:


Additional Packages

Some of the tests in the testsuite rely on packages that aren't part of the standard libraries included with GHC (grep for reqlib). These tests will be skipped then unless you install the required packages for them. Since we don't run these tests very often, some might be currently broken.

The extra packages are:

  • hmatrix
  • mtl
  • parallel
  • parsec
  • primitive
  • QuickCheck
  • random
  • regex-compat
  • syb
  • utf8-string
  • vector

Problems running the testsuite

If the testsuite fails mysteriously, make sure that the timeout utility is working properly. This Haskell utility is compiled with the stage 1 compiler and invoked by the python driver, which does not print a nice error report if the utility fails. This can happen if, for example, the compiler produces bogus binaries. A workaround is to compile timeout with a stable ghc.

Last modified 3 months ago Last modified on Sep 2, 2015 7:02:53 PM