Make sure test can run in checked mode