[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] unknown error message in pvs 6.0



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?



Sjaak Smetsers