The book is divided into 3 parts:
- the basics
- stateless properties in practice
- stateful properties
Parts 1 should be useful regardless of the tool used, as it covers more foundational knowledge (thinking in properties, etc.). Part 2 should still be useful if using StreamData, but you’ll obviously have to adapt the code. Part 3 cannot be used with StreamData, as StreamData doesn’t provide state checking (StreamData: data generation and property testing for Elixir)
You can probably get a good grasp of how helpful the book would be to you by reading http://propertesting.com which seems to cover most of part 1 in the book (it’s by the same author), although code samples are only in Erlang.
Hope this helps!
