MCPcopy Create free account
hub / github.com/PLSysSec/veriwasm / negative_test_with_locals

Function negative_test_with_locals

tests/testing.rs:127–148  ·  view source on GitHub ↗
(path: &str, func_name: &str, format: ExecutableType, arch: VwArch)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 9

negative_test_zerocost_1Function · 0.85
negative_test_zerocost_2Function · 0.85
negative_test_zerocost_3Function · 0.85
negative_test_zerocost_4Function · 0.85
negative_test_zerocost_5Function · 0.85
negative_test_zerocost_6Function · 0.85
negative_test_zerocost_7Function · 0.85
negative_test_zerocost_8Function · 0.85
negative_test_zerocost_9Function · 0.85

Calls 3

load_programFunction · 0.85
run_helperFunction · 0.85

Tested by

no test coverage detected