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
optional_proof
9lines
2cyclomatic
1max nesting
3statements
0? exits
5params
2callers
1callees
0.9 (p73)call-graph weight
Crystal
no crystal was derived for this function
Call neighbourhood
Callers left, callees right, two hops each way (2 direct callers, 1 direct callees; the heaviest shown). Dashed edges are method calls resolved by name alone.
Control flow
Source not readable from this process.
Callers 2
- decompile app-decompiler · name
- decompile_with_arch app-decompiler · name
Callees 1
- prove_correctness app-decompiler · name
Source not readable from this process.