fix: Allow multiple `stub_verified`s on a single harness#3805

Closed

ShoyuVanilla wants to merge 1 commit intomodel-checking:mainfrom ShoyuVanilla:issues-3804

+42-5

Commits on Jan 2, 2025

fix: Allow multiple stub_verifieds on a single harness
ShoyuVanilla
committed