Grader tests fail in terminal #20
Description
Running raco test test/grader.rkt or racket test/grader.rkt fails, whereas running test/grader.rkt inside DrRacket works. When running these tests in the terminal the output suggests that the code under test, which is supposed to attempt several DSSL2 tests, isn’t attempting any. This Racket 7.8 on is on MacOS Big Sur, so it might be a permission issue.