SWEN90010A2Marking

Automate Alloy marking

Unzip student submissions into submissions/

Run the following to mark all tasks of a student

./all_tasks submissions/<a student submission.als>

Run the following to mark a specific task of a student

./one_task submissions/<a student directory>/<task.X.als>