search

utwente-fmt / vercors

The VerCors verification toolset for verifying parallel and concurrent software
https://utwente.nl/vercors
Mozilla Public License 2.0
51 stars 24 forks source link

Wrong usages of `getPreferredName` #1179

Open pieter-bos opened 3 months ago

pieter-bos commented 3 months ago

In a lot of positions we use getPreferredNameOrElse where we mean to inspect the formal source name (e.g. with find[SourceName]), see ImportADT for a correct example.