Opened 7 years ago
Last modified 6 years ago
#4901 new defect
The NF does not check if redeclared functions are legal
| Reported by: | Francesco Casella | Owned by: | Per Östlund |
|---|---|---|---|
| Priority: | high | Milestone: | 2.1.0 |
| Component: | New Instantiation | Version: | |
| Keywords: | Cc: |
Description
Please consider the attached test package.
The model Test.Test_f_wrong should fail, because WrongPackage.f is not a subtype of BasePackage.f
Attachments (1)
Change History (2)
by , 7 years ago
| Attachment: | TestPackageInheritance.mo added |
|---|
comment:1 by , 6 years ago
| Milestone: | 2.0.0 → 2.1.0 |
|---|
Note:
See TracTickets
for help on using tickets.
Rescheduled to the next milestone, as this type of checks is less urgent than full coverage.