UTBotCpp
UTBotCpp copied to clipboard
Error case configurator [analyzer]
Description In many cases UTBot generate unused ERROR cases like pointers to incorrect pointers #325, structs with null as pointer #314 On other hand some people want find more problems in their code like signed, unsigned overflow #244
Expected behavior
Simple possibility to choose what ERROR we want in tests like [no error, auto, all error] for UTBot
And more complex configurator for ERROR for future analyzer
Potential solution Add possibility to configurator for sanitizer that we use or maybe filter ERROR cases after generation.