fix: correct signed relative approximate assertions - #1166

Open

DicksonWu654 wants to merge 3 commits into

runtimeverification:masterfrom

DicksonWu654:fix/signed-approx-assertions

Commits on Sep 1, 2026

fix: decode signed relative assertion operands
DicksonWu654
committed
a2c6b56
test: keep signed relative error fixture skipped
DicksonWu654
committed
be796c6
test: cover signed relative message overload
DicksonWu654
committed
18393ab