skainet-compile-hlo/sk.ainet.compile.hlo.validation/CorrectnessVerificationResult

CorrectnessVerificationResult

data class CorrectnessVerificationResult(val isCorrect: Boolean, val syntaxValid: Boolean, val semanticValid: Boolean, val roundTripValid: Boolean, val errors: List<String> = emptyList(), val warnings: List<String> = emptyList())(source)

Result of MLIR correctness verification

Constructors

CorrectnessVerificationResult

constructor(isCorrect: Boolean, syntaxValid: Boolean, semanticValid: Boolean, roundTripValid: Boolean, errors: List<String> = emptyList(), warnings: List<String> = emptyList())

Properties

val errors: List<String>

val isCorrect: Boolean

val roundTripValid: Boolean

val semanticValid: Boolean

val syntaxValid: Boolean

val warnings: List<String>