The page for plunit mentions subsumes_chk/2 (but has no live link, which should be fixed)
Body must throw Error. The error is verified using
subsumes_chk(Error, Generated). I.e. the generated error must be more
specific than the specified Error.
However, the documentation for
- Replace by subsumes_term/2.
Thus, plunit needs a code uptick to
subsumes_term/2 and a live link on the pldoc, please.