The page for plunit mentions subsumes_chk/2 (but has no live link, which should be fixed)
throws (Error)
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 subsumes_chk/2
says:
deprecated
- Replace by subsumes_term/2.
Thus, plunit needs a code uptick to subsumes_term/2
and a live link on the pldoc, please.