Copilot.Verifier.Examples.ShouldPass.Partial.ShiftLTooLarge

This will succeed with sideCondVerifierOptions, as Copilot's BwShiftL operation should only accept second arguments as large as C's << operation does.

Documentation

verifySpec :: Verbosity -> IO ()