// EXPERIMENT: Use no-op macros to indicate spec coverage.
// These macros are read by the temporary parser in the sdd folder.
// Use the track_file macro to indicate which .adoc spec file is being tracked.
;
pub use track_file;
// Use the non_normative macro to signal blocks within the .adoc file that are
// non-normative (i.e. do not describe specific rules that must be obeyed).
;
pub use non_normative;
// Use the verifies macro to annotate a test block that verifies a specific
// section within the .adoc file that is normative.
;
pub use verifies;
// Use the to_do_verifies macro to annotate a test block that doesn't yet verify
// a specific section within the .adoc file that is normative.
//
// This currently has no call sites (every to-do block has been promoted to a
// real `verifies!`), but it is retained as part of the SDD annotation toolkit
// for future spec-coverage work, so the unused-macro/-import warnings are
// silenced under `#![deny(warnings)]`.
;
pub use to_do_verifies;
// All lines in each .adoc file should be covered by either non_normative or
// verifies.