[All bundles]

testsuite

Version: 1.18.0
Source: repository
Dependencies: ciaodbg

A general test suite for Ciao

This is a general test suite for the Ciao language, its implementation, and the integration of several of its tools and components (that is, integration tests and benchmarks).

Tests here should allow measuring:

NOTE: Do not include unit tests for particular libraries here.

Usage

Clone this repository into your workspace or install with ciao gettestsuite. Then run:
ciao test testsuite # run tests
ciao bench testsuite # run benchmarks
The testsuite bundle name is optional if you execute ciao from the testsuite directory.