search

loonwerks / AGREE

Assume-Guarantee REasoning Environment
BSD 3-Clause "New" or "Revised" License
13 stars 5 forks source link

Improve issue reporting for duplicate spec stmt ids #109

Closed kfhoech closed 2 years ago

kfhoech commented 2 years ago

Resolves #105.

Changes duplicate Id on specification statements to an informational-level issue and improves the output to help the user find the duplicates.

Note that the NamesAreUniqueValidator correctly handles the case where duplicate Id occur in the same namespace.