Skip to content
1 viewer

rust 1,865,666 · typescript 236,264 · javascript 133,447 · python 20,429 · 6,423 files · digest 8c6986546afb · built in 1.6 s · crystals off

decomposition_ok

cre8_app_lattice_matching::certificate::tests::decomposition_ok

fn · cre8-app-lattice_matching · crates/cre8-app-lattice_matching/src/certificate/tests.rs:129

19lines
1cyclomatic
0max nesting
6statements
0? exits
0params
11callers
0callees
1.2 (p85)call-graph weight

Crystal

no crystal was derived for this function

Call neighbourhood

Callers left, callees right, two hops each way (11 direct callers, 0 direct callees; the heaviest shown). Dashed edges are method calls resolved by name alone.

name · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 1 sitename · 2 sitesname · 1 sitename · 1 sitedecomposition_identities_ve…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::decomposition_identities_verify_and_divergence_is_only_recordedbroken_edge_split_refutes_c…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::broken_edge_split_refutes_conservationnon_converged_flow_solve_le…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::non_converged_flow_solve_leaves_energy_identity_out_of_scopean_unmeasured_divergence_is…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::an_unmeasured_divergence_is_not_summed_into_a_balanced_zeroan_infinite_divergence_refu…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::an_infinite_divergence_refutes_the_sum_checka_decomposition_narrower_th…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::a_decomposition_narrower_than_the_legs_names_what_it_left_outcertificate_is_byte_and_has…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::certificate_is_byte_and_hash_deterministicserde_round_trip_preserves_…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::serde_round_trip_preserves_canonical_bytes_and_hashunmeasured_divergence_is_no…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::unmeasured_divergence_is_not_a_balanced_zero_in_the_preimageverifier_agrees_with_an_hon…app-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::verifier_agrees_with_an_honest_certificateevery_check_and_claim_carri…app-lattice_matching · cc 3cre8_app_lattice_matching::certificate::tests::every_check_and_claim_carries_a_nonempty_reason_and_scopedecomposition_okapp-lattice_matching · cc 1cre8_app_lattice_matching::certificate::tests::decomposition_ok

Control flow

Source not readable from this process.

Callers 11

Callees 0

    Source not readable from this process.