Running a Property
The properties we’ve seen so far were pseudocode-like and left a lot to imagination. Now that we have a stand-in directory structure with a structure similar to what we’d have in a real project, we’re going to tie everything together. We’ll add a property to the project and execute it. The property will be basic and test nothing of significance, but it’ll give you a brief idea of what things look like and how they should all fit together.
Erlang
As mentioned earlier, PropEr’s properties are not located within the same module as your production source code. Instead, we’ll enforce a strict separation of production code and test code by forcing all properties to be placed in standalone modules under the test/ directory, right ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access