data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Summary:
Description and internals do not match (DSt, DTr)
Created:
2011-09-22 15:51
Status:
Resolved
Category:
Bug
Assigned:
Priority:
4
Program:
Charlie
Version:
Description:
The description of the property and the internal functions do not match for the properties DSt and DTr.
The description of the property and the internal functions do not match for the properties DSt and DTr.
DSt is described as "no dead state", but in the rules it says, e.g., "DSt => !LIV". This implies the opposite meaning.
Analog is DTr.
Please correct the internals so that the description and the behavior match.
Comments
<< 00055 | CharlieBugList | 00057 >>