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

How to typecheck in batch mode

How to invoke pvs in a batch mode? I would like pvs to typecheck
a bunch of pvs files and write the report about found errors onto 
the standard output. Where can I read about such possibilities?