- a path to the directory with the exams to be assessed,
- a path to the directory with the solution to the exam, and
- a marking template specified with the assessment DSL that defines how to mark the exam.
The output of the system is, for each exam, a report that specifies the final mark together with a detailed list of the problems found. This output is useful for both the teacher and the student, and thus, each report is duplicated and presented in two different ways: one for the teacher with information useful to automate the marking and publication of marks, and another for the student, with learning feedback explaining the problems encountered. Concretely, the report is composed of information from the system and the teacher about compilation errors (compilation), unsatisfied properties (analysis), and runtime errors (testing).