Allow multiple annotations, but check for duplicate targets.#3808

Merged

celinval merged 3 commits intomodel-checking:mainfrom

remi-delmas-3000:multiple-stub-verified

Jan 28, 2025

Commits on Jan 2, 2025

Allow multiple annotations, but check for duplicate targets.
Remi Delmas
committed

Commits on Jan 6, 2025

Move checks earlier in the process.
Remi Delmas
committed

Commits on Jan 28, 2025

Apply suggestions from code review

celinval
and
feliperodri
authored