[][src]Crate fluid_attributes

Attribute Macros


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


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


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


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