Units not translated in contexts
Description
Environment
None
Gliffy Diagrams
Activity
Show:
Fixed
Details
Details
Assignee

Reporter

Priority
More fields
Story Points, Original estimate
More fields
Story Points, Original estimateCreated January 15, 2013 at 2:27 PM
Updated January 21, 2013 at 8:06 AM
Resolved January 21, 2013 at 8:06 AM
Units are not translated to ProB if they are attached to constants inside a context. Probably a problem with static checking.