apollo-backend/eu.yeger.apollo.assignment.model.api/AssignmentCheckResponse

AssignmentCheckResponse

data class AssignmentCheckResponse(val correct: Boolean, val firstTrace: ModelCheckerTrace?, val secondTrace: ModelCheckerTrace?)(source)

Constructors

Link copied to clipboard
constructor(correct: Boolean, firstTrace: ModelCheckerTrace?, secondTrace: ModelCheckerTrace?)

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard