MCPcopy Create free account
hub / github.com/PLSysSec/wave / to_json_string

Function to_json_string

tools/fuzz-gen/src/specifications/json.rs:152–154  ·  view source on GitHub ↗
(assertion: &untyped::Assertion)

Source from the content-addressed store, hash-verified

150}
151
152pub fn to_json_string(assertion: &untyped::Assertion) -> String {
153 serde_json::to_string(&assertion.to_structure()).unwrap()
154}
155
156impl Assertion {
157 pub fn from_json_string(json: &str) -> Self {

Callers 3

generate_spec_item_fnMethod · 0.85
generate_spec_loopMethod · 0.85
generate_cl_specMethod · 0.85

Calls 1

to_structureMethod · 0.80

Tested by

no test coverage detected