Properties

Properties are proofs extracted as classes so that they can be run in a different context. More specifically they verify the behaviour of objects.

The main goal of these properties is to make sure multiple implementations of a given system all behave the same way.

The most prominent example in the Innmind ecosystem are the filesystem properties. innmind/filesystem has 2 implementations of its Adapter, a real implementation and an in memory one, and both implementations are tested against the same properties.

The ORM also uses properties to make sure its 3 storage implementations behave exactly the same way.

To learn more about them head to the BlackBox package documentation.