Details
-
Bug
-
Status: Closed
-
Major
-
Resolution: Fixed
-
None
Description
The test testImplies checks implications but does not assert on the values.
Attachments
Issue Links
- links to
The test testImplies checks implications but does not assert on the values.