The book, ScalaCheck: The Definitive Guide, contains some nice examples of property-based testing. The idea of this repo is to port some of these examples from Scala / ScalaCheck to C# / FsCheck.
- Chapter 4
- Constructing optimal output - run length encoding
- (original example code can be found within here)
- Constructing optimal output - run length encoding
- Chapter 5
- Labelling properties - interleaving
- (original example code can be found within here)
- Collecting test statistics - Prop.classify
- (original example code can be found within here)
- Collecting test statistics - Prop.collect
- (original example code can be found within here)
- Prop.throws
- (original example code can be found within here)
- Constant properties
- (original example code can be found within here)
- Labelling properties - interleaving
- Chapter 6
- Number generators
- (original example code can be found within here)
- Character generators
- (original example code can be found within here)
- String generators
- (original example code can be found within here)
- Higher-order generators
- (original example code can be found within here)
- Gen.pick
- (original example code can be found within here)
- Gen.someOf
- (original example code can be found within here)
- Recursive generators
- (original example code can be found within here)
- Custom test case simplification
- (original example code can be found within here)
- Number generators