Skip to content

Extract NuSMV errors

Alireza Lotfi Takami requested 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