Toxaris/variational — Issue #13: Add --debug options to VisualizeBDD CLI
Author: Toxaris
Created: 2011-11-26 12:15:14+00:00
State: open

Currently, debug messages are activated by changing the code. Instead, a CLI option should enable or disable them.