Verbosity-level
Control verbosity of Cgen
Control amount of output printed by Cgen.
- Levels
- 0 - All Cgen output is turned off
- 1 - Normal output (default)
- 2 - Verbose output
- 3 - More verbose with Cgen statistics
- 4 - For Debug by normal users
- 5 and above - System level debug by developers
Usage:
(acl2s-defaults :set verbosity-level 1)
(acl2s-defaults :get verbosity-level)
:doc verbosity-level
