Skip to main content

Module runtime_assertions

Module runtime_assertions 

Source
Expand description

Runtime assertions for optimization correctness

These functions provide runtime checks in debug builds to verify that optimizations match their reference implementations.

Functionsยง

get_proven_checked
Checked version of get_proven with runtime assertions