You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 

22 lines
698 B

# Chapter Excercises
## Validating numbers into words
see src/wordnumbertest.hs
## Using QuickCheck
see src/proptest.hs
## Failure
This will fill due to precision. `sqrt 2` cannot be accurately represented, so it is rounded to a ration number. This rounding error causes a different when squaring it.
## Idempotence
see src/idempotence.hs
## Hangman testing
see hangman/test/tests.hs
## Validating ciphers
No code available, but the principle is easy:
1. Create generator for the input (limited to a-z and A-Z)
2. Create generator for the caesar key (limited to 0-25)
3. Create generator for vigenere key (limited to a-z)
4. quickCheck the properties that decode after encode is the identity