MCPcopy Create free account
hub / github.com/FuzzAnything/PromptFuzz / save_constraints

Function save_constraints

src/program/infer/mod.rs:109–116  ·  view source on GitHub ↗
(constraints: &APIConstraints, deopt: &Deopt)

Source from the content-addressed store, hash-verified

107}
108
109fn save_constraints(constraints: &APIConstraints, deopt: &Deopt) -> Result<()> {
110 let save_path: PathBuf = [deopt.get_library_misc_dir()?, "constraint.json".into()]
111 .iter()
112 .collect();
113 let to_str = serde_json::to_string(constraints)?;
114 std::fs::write(save_path, to_str)?;
115 Ok(())
116}
117
118pub fn load_constraints(deopt: &Deopt) -> Result<APIConstraints> {
119 let save_path: PathBuf = [deopt.get_library_misc_dir()?, "constraint.json".into()]

Callers 1

infer_constraintsFunction · 0.85

Calls 1

get_library_misc_dirMethod · 0.80

Tested by

no test coverage detected