This file should be included from `test/runtests.jl` so that it is run automatically with the rest of the tests.