Opened 3 years ago

Closed 2 years ago

#844 closed defect (fixed)

WCST typing of coverages

Reported by: vmerticariu Owned by: vmerticariu
Priority: minor Milestone: 9.1
Component: undecided Version: development
Keywords: Cc:
Complexity: Medium

Description

Currently rasdl is ivoked from java and the type checker doesn't look for limited extent in types. This may lead to bugs if somebody defines a type with limited extent.

Change History (1)

comment:1 Changed 2 years ago by dmisev

  • Milestone set to 9.1
  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.