I’m trying to move to pvs 6, but when I typecheck one of my old projects I get the message
Break: Check mixed optype params
At the top of the screen, and at the bottom
SPC-scroll, I-ignore …
Any suggestions, because I don’t see a way how to proceed?