src/app/model/api/assignment-check-response.ts
Properties |
|
| correct |
correct:
|
Type : boolean
|
| firstTrace |
firstTrace:
|
Type : ModelCheckerTrace
|
| Optional |
| secondTrace |
secondTrace:
|
Type : ModelCheckerTrace
|
| Optional |
import { ModelCheckerTrace } from 'src/app/model/api/model-checker-trace';
export interface AssignmentCheckResponse {
correct: boolean;
firstTrace?: ModelCheckerTrace;
secondTrace?: ModelCheckerTrace;
}