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.