-
Notifications
You must be signed in to change notification settings - Fork 8
Open
Labels
bugmodelRelated to model package (e.g., model verification)Related to model package (e.g., model verification)refactoringsmallEffort of one person-day or lessEffort of one person-day or less
Description
Currently expressions are compared by str(self) == str(other). While this resulted from an efficiency improvement before the introduction of type checking it may now lead to passing tests even when errors in the type setting or checking are present.
This ticket is small as adding the expression type to the comparison makes very few tests fail, most of them due to types that are not set when comparing a structure from a message with a custom structure without a message.
Metadata
Metadata
Assignees
Labels
bugmodelRelated to model package (e.g., model verification)Related to model package (e.g., model verification)refactoringsmallEffort of one person-day or lessEffort of one person-day or less