Add --debug options to VisualizeBDD CLI

Toxaris / variational

2 stars 1 forks source link

Open Toxaris opened 12 years ago

Toxaris commented 12 years ago

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

Toxaris commented 12 years ago

That commit should have mentioned #14 instead.