Crate fluid_attributes

Attribute Macros

fact

The fact attribute. A fact is a simple concrete fact to be verified.

session

A test session with a setup. Must decorate an inherent implementation of a data structure that implements Default.

theory

The theory attribute. A theory is a test more complex than a fact, that must be proven or inferred with multiple cases. Therefore, a theory must come with its multiple test cases.

Derive Macros

Drop

Implement the Drop trait for the assertion type. This is needed, because in most cases, the assertion will be checked from within the destructor.