Skip to content
1 viewer

rust 1,863,570 · typescript 235,774 · javascript 133,179 · python 20,426 · 6,416 files · digest 72c4f5c61f73 · built in 1.7 s · crystals off

verify_goal

cre8_app_goal::model::verify_goal

fn · cre8-app-goal · crates/cre8-app-goal/src/model.rs:238 pub generic

11lines
2cyclomatic
1max nesting
6statements
3? exits
2params
3callers
2callees
0.7 (p63)call-graph weight

Crystal

no crystal was derived for this function

Call neighbourhood

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

path · 4 sitesname · 1 sitename · 2 sitesname · 1 sitepath · 1 siteproduction_error_and_model_…app-goal · cc 1cre8_app_goal::coverage_tests::production_error_and_model_edges_are_exercisedsign_then_verify_roundtripsapp-goal · cc 1cre8_app_goal::model::tests::sign_then_verify_roundtripsverify_rejects_tampered_sta…app-goal · cc 1cre8_app_goal::model::tests::verify_rejects_tampered_statement_and_unsignedverify_goalapp-goal · cc 2cre8_app_goal::model::verify_goalverify_message_base64util-crypto · cc 3cre8_util_crypto::verify_message_base64canonical_goal_bytesapp-goal · cc 1cre8_app_goal::model::canonical_goal_bytes

Control flow

Source not readable from this process.

Callees 2

Source not readable from this process.