Extract NuSMV errors
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
On or around 8:00am on Wednesday the 17th of April, git.uwaterloo.ca will be restarted to apply security and application patches.
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