...

/

Introduction to Writing Properties

Introduction to Writing Properties

Get started with properties and a better understanding of how they work to write them easily.

Introduction

Property-based testing requires us to approach testing differently from what we’re used to. As we’ve seen earlier, the core of properties is coming up with rules about a program that should always remain true. That’s the hard part. But just having that will not be enough. We’ll need to find a way to turn these rules into executable code so that a specific framework (PropEr in our case) can exercise them. We will also need to tell the framework about what kind of inputs it should ...