Skip to main content

publish_profile_claims

sim_kernel::standard

Function publish_profile_claims 

Source 
pub fn publish_profile_claims(
    cx: &mut Cx,
    profile: Symbol,
    organs: impl IntoIterator<Item = Symbol>,
    conformance_tests: impl IntoIterator<Item = Symbol>,
) -> Result<()>
Expand description

Publishes the claims describing a profile: its kind, organs, and tests.

Each claim is inserted once; re-running is idempotent.