A general test suite for CiaoThis 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:
- correctness of compiler, optimizer, analyzer, etc. (including parser, pretty print, output, ...)
- performance (time, memory consumption) of the engine, runtime, libraries, compiler and analysis
- conformance with standards
- comparison with other languages and Prolog implementations
UsageClone this repository into your workspace or install with ciao get testsuite. Then run:
ciao test testsuite # run tests ciao bench testsuite # run benchmarksThe testsuite bundle name is optional if you execute ciao from the testsuite directory.