gensokyo-devandgensokyo-dev 45a427109d test(verifiers): give the Hopper receipt fixture the provider's coverage ...

The receipt fixture replied with complete relationship coverage and unchanged
calls, which the verifier now rejects. Reply with the unknown caller/callee
coverage HopperProvider declares and the unknown calls dimension that
compare_functions derives from it.

Refs #8067

Co-Authored-By: gensokyo-dev <342580529+gensokyo-dev@users.noreply.github.com>

2026-11-14 14:16:39 +01:00

..

ghidra

fix(verify): preserve Ghidra oracle state and coverage (#9994)

2026-11-11 17:21:11 +08:00

hopper

test(verifiers): give the Hopper receipt fixture the provider's coverage

2026-11-14 14:16:39 +01:00

managed

test: isolate managed result algebra and preserve partial facts

2026-11-10 16:50:24 -05:00