mlliarm / ia

An interval arithmetic library in Logtalk

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.