Testing in DottyEdit this page on GitHub
Running all tests in Dotty is as simple as:
$ sbt test
There are currently several forms of tests in Dotty. These can be split into two categories:
These tests can be found in
<sub-project>/test and are used to check
functionality of specific parts of the codebase in isolation e.g: parsing,
scanning and message errors.
To run all tests in e.g., for the compiler test-suite you can write:
$ sbt > dotty-compiler/test
To run a single test class you use
testOnly and the fully qualified class name.
> testOnly dotty.tools.dotc.transform.TreeTransformerTest
The test command follows a regular expression-based syntax
testOnly * -- *.
The right-hand side picks a range of names for methods and the left-hand side picks a range of class names and their
Consequently, you can restrict the aforementioned executed test to a subset of methods by appending
The example below picks up all methods with the name
> testOnly dotty.tools.dotc.transform.TreeTransformerTest -- *canOverwrite
Additionally, you can run all tests named
method_name, in any class, without providing a class name:
> testOnly -- *canOverwrite
You can also run all paths of classes of a certain name:
> testOnly *.TreeTransformerTest
Some tests support checking the output of the run or the compilation against a checkfile. A checkfile is a file in which the expected output of the compilation or run is defined. A test against a checkfile fails if the actual output mismatches the expected output.
neg (compilation must fail for the test to succeed) tests support the checkfiles.
run's checkfiles contain an expected run output of the successfully compiled program.
neg's checkfiles contain an expected error output during compilation.
Absence of a checkfile is not a condition for the test failure. E.g. if a
neg test fails with the expected number of errors and there is no checkfile for it, the test still passes.
Checkfiles are located in the same directories as the tests they check, have the same name as these tests with the extension
*.check. E.g. if you have a test named
tests/neg/foo.scala, you can create a checkfile for it named
tests/neg/foo.check. And if you have a test composed of several files in a single directory, e.g.
tests/neg/manyScalaFiles, the checkfile will be
If the actual output mismatches the expected output, the test framework will dump the actual output in the file
*.check.out and fail the test suite. It will also output the instructions to quickly replace the expected output with the actual output, in the following format:
Test output dumped in: tests/playground/neg/Sample.check.out See diff of the checkfile > diff tests/playground/neg/Sample.check tests/playground/neg/Sample.check.out Replace checkfile with current output output > mv tests/playground/neg/Sample.check.out tests/playground/neg/Sample.check
To create a checkfile for a test, you can do one of the following:
- Create a dummy checkfile with a random content, run the test, and, when it fails, use the
mvcommand reported by the test to replace the dummy checkfile with the actual output.
- Manually compile the file you are testing with
dotcand copy-paste whatever console output the compiler produces to the checkfile.
These tests are Scala source files expected to compile with Dotty (pos tests), along with their expected output (run tests) or errors (neg tests).
All of these tests are contained in the
./tests/* directories and can be run with the
testCompilation command. Tests in folders named
with-compiler are an exception, see next section.
Currently to run these tests you need to invoke from sbt:
$ sbt > testCompilation
(which is effectively the same with
It is also possible to run tests filtered, again from sbt:
$ sbt > testCompilation companions
This will run both the test
./tests/neg/companions.scala since both of these match the given string.
This also means that you could run
testCompilation with no arguments to run all integration tests.
When complex checkfiles must be updated,
testCompilation can run in a mode where it overrides the checkfiles with the test outputs.
$ sbt > testCompilation --update-checkfiles
--help to see all the options
$ sbt > testCompilation --help
testCompilation on a bootstrapped Dotty compiler, use
dotty-compiler-bootstrapped/testCompilation (with the same syntax as above).
Some tests can only be run in bootstrapped compilers; that includes all tests
with-compiler in their name.
testCompilation has an additional mode to run tests that compile code from a
Modify blacklist and whitelists in
compiler/test/dotc to enable or disable tests from
$ sbt > testCompilation --from-tasty
This mode can be run under
dotty-compiler-bootstrapped/testCompilation to test on a bootstrapped Dotty compiler.