mantra-rust-macros 0.7.0

Provides macros to create requirement traces and coverage logs for the `mantra` framework.
Documentation