Copilot.Verifier.Examples.ShouldPass.Partial.ModByZero

This will succeed with sideCondVerifierOptions, as Copilot's Mod operation is well defined precisely when C's % operator is well defined.

Documentation

verifySpec :: Verbosity -> IO ()