I just took all grades that I’ve posted offline until I can repost corrected scores. Should be later today. My auto-grader was producing bad values and freaking people out. That is definitely not what I intended and I’m sorry if I caused undo stress. I believe the problem is corrected and I’ve regenerated grades. Still need to check them and post scores.
One issue exists that I need your help with. When I post grades you
may see no grade for an assignment you submitted. This is almost
certainly because your proof file crashed. Likely due to a missing
Admitted statement or due to inclusion of an Abort
command. Missing Admitted causes a proof to hang while Abort
terminates the proof process. Either of these causes the test file to
fail. What I need you to do is fix the error and resubmit. Your test
file needs to generate output and terminate without throwing errors. I
believe you can do this via Canvas or even better just send me email.
I will ping you again when grades are posted. If you already know your assignment files throw errors, you can go ahead and start fixing that.