validity: Don't overflow Int/Word sizes

NorfairKing / validity

Validity and validity-based testing

https://www.youtube.com/watch?v=eIs9qNh17SM

MIT License

156 stars 31 forks source link

Closed iainlane closed 4 years ago

iainlane commented 4 years ago

The maximum size for e.g. a Word32 is 2^32 - 1. This happens to work OK on 64 bit CPU architectures, but fails badly on 32 bit.

NorfairKing commented 4 years ago

Perfect PR. Merging immediately.