| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Copilot.Verifier.Examples.ShouldFail.Partial.ShiftRTooLarge
Description
This will fail to verify since the verification does not assume the
lessThanBitWidth property, which is needed to prevent shifting by too
large of a value.