Interface CoralConfig

Logs additional information to files and the console.

This option increases the amound of information logged by Coral, but it will only use the console if verbose is also active.

Saves relevant instrumentation data for result analysis.

Whether functions with implementation but without explicit safe or unsafe annotations should be considered safe or unsafe.

Note that this option has no effect if the function has no implementation, in which case it is considered unsafe by default, as no checks can be performed.

The recommended value is true, but it may be useful to set it to false in existing codebases, to ease the transition to Coral.

Whether to print to console additional information during the analysis, such as progress updates.