Closed pengtianyue closed 8 years ago
All of these issues should be handle by AttributeType.Attribute_Base subclasses.
Superstates attribute will be include by boolean AND to substate attributes in a flattened graph used by the test solver.
Updates listed here either already fixed or tracked in issues #9 and #23. Closing issue.
These should be repaired later.