1 viewer
rust 1,860,549 · typescript 235,540 · javascript 132,956 · python 20,426 · 6,408 files · digest f04d4637f52b · built in 1.5 s · crystals off
VerificationReport::agrees
3lines
1cyclomatic
0max nesting
1statements
0? exits
1params
6callers
0callees
0.8 (p71)call-graph weight
Crystal
no crystal was derived for this function
Call neighbourhood
Callers left, callees right, two hops each way (6 direct callers, 0 direct callees; the heaviest shown). Dashed edges are method calls resolved by name alone.
Control flow
Source not readable from this process.
Callers 6
- a_certificate_carrying_an_unmeasured_value_equals_itself_and_verifies_against_its_own_round app-lattice_matching · method
- verifier_agrees_with_an_honest_certificate app-lattice_matching · method
- verifier_rejects_a_verdict_flipped_to_verified app-lattice_matching · method
- verifier_rejects_a_tampered_content_hash app-lattice_matching · method
- verifier_rejects_a_certificate_presented_over_a_different_round app-lattice_matching · method
- verifier_rejects_an_inflated_examined_count app-lattice_matching · method
Callees 0
Source not readable from this process.