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 |
#28 in #invariants
27 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
~335–800KB
~19K SLoC