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

Method with_suggested_tools

core/src/verification.rs:73–79  ·  view source on GitHub ↗
(
        mut self,
        tools: impl IntoIterator<Item = impl Into<String>>,
    )

Source from the content-addressed store, hash-verified

71 }
72
73 pub fn with_suggested_tools(
74 mut self,
75 tools: impl IntoIterator<Item = impl Into<String>>,
76 ) -> Self {
77 self.suggested_tools = tools.into_iter().map(Into::into).collect();
78 self
79 }
80
81 pub fn with_evidence_uris(mut self, uris: impl IntoIterator<Item = impl Into<String>>) -> Self {
82 self.evidence_uris = uris.into_iter().map(Into::into).collect();

Callers 2

from_program_hintMethod · 0.45
to_checkMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected