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

[PVS-Help] unknown error message in pvs 6.0



Hi,

 

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?

Thanks,

 

Sjaak Smetsers