Closed mristin closed 1 year ago
The invariant related to category VALUE seems to be off as it does not match the text description of the invariant.
VALUE
Related to #251.
The invariant related to category
VALUE
seems to be off as it does not match the text description of the invariant.Related to #251.