This pipeline executes an XSpec test suite with BaseX standalone.

Primary input: A XSpec test suite document.

Primary output: A formatted HTML XSpec report.

The dir where you unzipped the XSpec archive on your filesystem is passed in the option 'xspec-home'. The compiled test suite (the XQuery file to be actually evaluated) is saved on the filesystem to be passed to BaseX. The name of this file is passed in the option 'compiled-file' (it defaults to a file in /tmp). The BaseX JAR file is passed through 'basex-jar'.