Function biodivine_sketchbook::sketchbook::_sketch::_impl_consistency::append_property_issue

source ยท 
fn append_property_issue(
    description: &str,
    prop_id: &str,
    log: String,
) -> String
Expand description

(internal) Simple internal utility to append issue message regarding a particular property.