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 |
#37 in #invariants
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
~260–720KB
~17K SLoC