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

[PVS-Help] Proof steps in batch mode



When reproving theorems using PVS's batch mode, is there anyway to
report the number of steps a proof took? Right now I've resorted to
parsing the proof replay file - I'm hoping there's a better
way. Thanks

jerome