TESTS: CASE tests not run by the run-all wrapper script.