Project

General

Profile

Feature #11513

Updated by Evgeny Novikov over 2 years ago

It will be good for verification tool research to have ability to specify error marks by pattern search within withing witness or CPAchecker log, like currently implemented for Unknowns. 

 Basic usecase: to have ability to distinguish different Unsafes within implementation of new features for verification tool by specifying error message.

Back