It's kind of awkward that these are currently exposed from our user-facing library. This would include the test runner at minimum; I think we probably need to ship copies of run_autograder and setup.sh, but those can pull in gradescope_main from a aga-gradescope-backend library or similar instead of pulling in aga itself.
It's kind of awkward that these are currently exposed from our user-facing library. This would include the test runner at minimum; I think we probably need to ship copies of run_autograder and setup.sh, but those can pull in
gradescope_mainfrom aaga-gradescope-backendlibrary or similar instead of pulling inagaitself.