Comment by cbenz

I would tend to rely on a single tool, do you see advantages to use both?

Do you happen to have discrepancies between both? (e.g. an error raised by one and not the other)