MCPcopy Create free account
hub / github.com/bytecodealliance/wasmtime / verify

Method verify

cranelift/bforest/src/map.rs:290–297  ·  view source on GitHub ↗

Verify consistency.

(&self, forest: &MapForest<K, V>, comp: &C)

Source from the content-addressed store, hash-verified

288{
289 /// Verify consistency.
290 fn verify<C: Comparator<K>>(&self, forest: &MapForest<K, V>, comp: &C)
291 where
292 NodeData<MapTypes<K, V>>: fmt::Display,
293 {
294 if let Some(root) = self.root.expand() {
295 forest.nodes.verify_tree(root, comp);
296 }
297 }
298
299 /// Get a text version of the path to `key`.
300 fn tpath<C: Comparator<K>>(&self, key: K, forest: &MapForest<K, V>, comp: &C) -> String {

Callers 8

emptyFunction · 0.45
insertingFunction · 0.45
split_level0_leafFunction · 0.45
split_level1_leafFunction · 0.45
remove_level1Function · 0.45
remove_level1_rightmostFunction · 0.45
level3_removesFunction · 0.45
insert_manyFunction · 0.45

Calls 3

verify_treeMethod · 0.80
expandMethod · 0.45
mapMethod · 0.45

Tested by 8

emptyFunction · 0.36
insertingFunction · 0.36
split_level0_leafFunction · 0.36
split_level1_leafFunction · 0.36
remove_level1Function · 0.36
remove_level1_rightmostFunction · 0.36
level3_removesFunction · 0.36
insert_manyFunction · 0.36