copilot-verifier-4.3: System for verifying the correctness of generated Copilot programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Copilot.Verifier.Examples.ShouldPass.Partial.MulSignedWrap

Description

This will succeed with sideCondVerifierOptions, as Copilot's Mul operation should wrap on signed integers precisely when C multiplication does.

Documentation

verifySpec :: Verbosity -> IO () Source #