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

Method from_program_hint

core/src/verification.rs:91–102  ·  view source on GitHub ↗
(subject: &str, index: usize, hint: &ProgramVerificationHint)

Source from the content-addressed store, hash-verified

89 }
90
91 pub fn from_program_hint(subject: &str, index: usize, hint: &ProgramVerificationHint) -> Self {
92 let id = format!("program:{subject}:{}:{index}", hint.kind);
93 let check = if hint.required {
94 Self::required(id, hint.kind.clone(), hint.message.clone())
95 } else {
96 Self::optional(id, hint.kind.clone(), hint.message.clone())
97 };
98
99 check
100 .with_suggested_tools(hint.suggested_tools.clone())
101 .with_evidence_uris(hint.evidence_uris.clone())
102 }
103}
104
105#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]

Callers

nothing calls this directly

Calls 3

cloneMethod · 0.45
with_evidence_urisMethod · 0.45
with_suggested_toolsMethod · 0.45

Tested by

no test coverage detected