Skip to content

test: point the Verifies trace at the symbol that exists - #253

Open
kutsibalci wants to merge 1 commit into
eclipse-score:mainfrom
kutsibalci:fix-verifies-trace
Open

test: point the Verifies trace at the symbol that exists#253
kutsibalci wants to merge 1 commit into
eclipse-score:mainfrom
kutsibalci:fix-verifies-trace

Commits

Commits on Aug 6, 2026