Default log level should be INFO
Currently, the default value of the log level dropdown in the configuration dialog is ALL
.
By default, the log level of cpachecker is INFO
, so the dropdown should also use that default.
Currently, the default value of the log level dropdown in the configuration dialog is ALL
.
By default, the log level of cpachecker is INFO
, so the dropdown should also use that default.