Skip to main content

Report.floats_unmet

Why no engine’s doubles meet the observation’s floats (exact

Report.floats_unmet: str | None

doubles, or a tolerance below the plan’s bound), in words; None where one does (floats_on).