Run-time Checking, Testing, and Profiling



This bundle contains some of the run-time checking, testing, and profiling facilities of the Ciao program development framework.

Similarly to other components, like the static analyzer or the documentation generator, these parts of the framework make use of program assertions to obtain the specification of desired behaviors (this includes test assertions and the assertions from which run-time tests are generated).

Some of these facilities are integrated into the Ciao builder (ciao test command) and the different development environments (e.g., in Emacs --under the CiaoDbg menu--, Playground, etc.).

Parts of this manual