ccompile(+File, +OptionList)

File

Atom or string

OptionList

List of Name:Value pairs

Description

This is a variant of the ECLiPSe compiler that inserts code coverage counters into the compiled code. This code can then be run, and the results analysed by printing them using coverage:result/1.

Options to modify the behaviour of the code coverage library are:

exit_counters (default:on)

Setting this to 'off' will suppress coverage counters at the end of conjunctions (comma-sequences of subgoals).

blocks_only (default:off)

Setting this to 'on' will leave only coverage counters at the beginning and at the end of conjunctions (comma-sequences of subgoals) and suppress all others.

macro_expansion (default:on)

Setting this to 'off' will suppress read-macro expansion (e.g. with/2 and of/2 terms) in the result (html) file. This should only be necessary in rare cases when macro expansion would affect the placement of coverage counter positions.

goal_expansion (default:on)

Setting this to 'off' will suppress goal expansion (inlining) during compilation. This may be necessary when the processed code contains predicates that get executed at compile time.

verbose (default:off)

If set to 'on', the coverage preprocessor will print predicate names as they are processed (to log_output).

See Also