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

SemanticEquivalenceReport

data class SemanticEquivalenceReport(val isEquivalent: Boolean, val functionSignatureMatch: Boolean, val operationCountMatch: Boolean, val ssaStructureMatch: Boolean, val typeConsistency: Boolean, val differences: List<String> = emptyList())(source)

Report on semantic equivalence between original and parsed modules

Constructors

constructor(isEquivalent: Boolean, functionSignatureMatch: Boolean, operationCountMatch: Boolean, ssaStructureMatch: Boolean, typeConsistency: Boolean, differences: List<String> = emptyList())

Properties

differences

val differences: List<String>

functionSignatureMatch

val functionSignatureMatch: Boolean

isEquivalent

val isEquivalent: Boolean

operationCountMatch

val operationCountMatch: Boolean

ssaStructureMatch

val ssaStructureMatch: Boolean

typeConsistency

val typeConsistency: Boolean