Wrapping Up
Explore how targeted properties enhance property-based testing in Erlang. Learn about simulated annealing, neighbor selection functions, and the use of search macros to optimize test searches. Understand their current limitations and how they improve test efficiency before moving on to stateful properties.
We'll cover the following...
We'll cover the following...
Summary
Targeted properties are still somewhat new. In this chapter, we’ve covered what targeted properties look like and explored how they work, including simulated annealing.
We’ve seen how to write a ...