[All bundles]


Version: 1.19.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.


Clone this repository into your workspace or install with ciao get testsuite. 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.