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

[PVS-Help] statistics on proof scripts



I would like to estimate the number of lines of user input for proofs for 
a collection of theories.  The .prf files contain too much.  Better would 
be to run unix wc on the output from show-proofs-theory, but that command 
sends its output to a buffer instead of a file and it includes a bit of 
extraneous header info.  Is there a better way?