Tau-Prolog crashes
mlliarm opened this issue · comments
Installing Tau Prolog latest
/home/runner/work/_actions/logtalk-actions/setup-tau-prolog/master/src/install-tau-prolog-ubuntu latest
Wrote to /home/runner/work/ia/ia/package.json:
{
"name": "ia",
"version": "1.0.0",
"description": "",
"main": "index.js",
"scripts": {
"test": "echo \"Error: no test specified\" && exit 1"
},
"keywords": [],
"author": "",
"license": "ISC"
}
added 8 packages, and audited 9 packages in 1s
found 0 vulnerabilities
and
Run logtalk_tester -p tau-prolog -f xunit -c xml || EXIT=$?
Error! Unsupported backend Prolog compiler: tau-prolog
This script automates running unit tests found in the current directory and
recursively in its sub-directories by scanning by default for "tester.lgt"
and "tester.logtalk" source files. In case of failed unit tests or test set
errors, this script returns a non-zero exit code. When a "tester.sh" file
exists in the tests directory, the file is sourced before running the tests.
The "tester.sh" file is sourced with all the parameters passed to the script.
The timeout option requires availability of the GNU coreutils timeout command.
See here.
Error! Unsupported backend Prolog compiler: tau-prolog
Either logtalk_tester -h
or man logtalk_tester
will tell you the valid Prolog identifiers to use.