modality_mutator_protocol/
attrs.rs

1pub use modality_api::types::*;
2
3pub mod mutator {
4    use modality_api::AttrKey;
5
6    pub const ID: AttrKey = AttrKey::new_static("mutator.id");
7    pub const NAME: AttrKey = AttrKey::new_static("mutator.name");
8    pub const DESCRIPTION: AttrKey = AttrKey::new_static("mutator.description");
9    pub const LAYER: AttrKey = AttrKey::new_static("mutator.layer");
10    pub const GROUP: AttrKey = AttrKey::new_static("mutator.group");
11    pub const STATEFULNESS: AttrKey = AttrKey::new_static("mutator.statefulness");
12    pub const OPERATION: AttrKey = AttrKey::new_static("mutator.operation");
13    pub const SAFETY: AttrKey = AttrKey::new_static("mutator.safety");
14    pub const SOURCE_FILE: AttrKey = AttrKey::new_static("mutator.source.file");
15    pub const SOURCE_LINE: AttrKey = AttrKey::new_static("mutator.source.line");
16
17    pub const MUTATION_EDGE_ID: AttrKey = AttrKey::new_static("mutator.mutation_edge_id");
18    pub const RECEIVE_TIME: AttrKey = AttrKey::new_static("mutator.receive_time");
19}
modality_mutator_protocol/attrs.rs

modality_mutator_protocol/
attrs.rs
