MCPcopy Index your code
hub / github.com/AI45Lab/Code / with_status

Method with_status

core/src/verification.rs:68–71  ·  view source on GitHub ↗
(mut self, status: VerificationStatus)

Source from the content-addressed store, hash-verified

66 }
67
68 pub fn with_status(mut self, status: VerificationStatus) -> Self {
69 self.status = status;
70 self
71 }
72
73 pub fn with_suggested_tools(
74 mut self,

Callers 4

check_from_executionMethod · 0.45
report_passes_when_required_checks_passFunction · 0.45
report_fails_when_any_check_failsFunction · 0.45
static_verifier_builds_reportFunction · 0.45

Calls

no outgoing calls

Tested by 3

report_passes_when_required_checks_passFunction · 0.36
report_fails_when_any_check_failsFunction · 0.36
static_verifier_builds_reportFunction · 0.36