The test cases are written in Prolog itself. They consist of positive and negative test cases according to the sources. This document does not contain the source code of the test cases. A version of the source code of the test cases can be found on the following web site:www.jekejeke.ch/idatab/doclet/blog/en/docs/05_run/07_compliance/package.jsp
Further the source code is also bundled in the suprun.zip when downloading the Jekejeke Prolog runtime library from the web site.