4 releases
0.0.4 | Feb 28, 2024 |
---|---|
0.0.3 | Feb 28, 2024 |
0.0.2 | Feb 28, 2024 |
0.0.1 | Feb 28, 2024 |
#31 in #invariants
61 downloads per month
Used in eiffel
10KB
135 lines
This crate is part of the eiffel crate.
lib.rs
:
This create contains the procedural macros
Mostly the procedural macro contract which is used to check if a given invariant holds true before and after a method call.
Dependencies
~280–740KB
~17K SLoC