Skip to content

Extract NuSMV errors

Alireza Lotfi Takamirequested to merge
ExtractNuSMVErrors into master

Extracting NuSMV errors and printing them in the severe log level. Updating the CUI. Now we have this log level options : severe|warning|info|config|fine|finest

Merge request reports