SKaiNET
Toggle table of contents
common
Target filter
common
Switch theme
Search in API
Skip to content
SKaiNET
skainet-compile-hlo
/
sk.ainet.compile.hlo.validation
/
MlirTestUtilities
/
verifyCorrectness
verify
Correctness
fun
verifyCorrectness
(
module
:
StableHloModule
)
:
CorrectnessVerificationResult
(
source
)
Perform comprehensive correctness verification of a StableHLO module