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.