22 Dec
2005
22 Dec
'05
11:07 a.m.
Dear all,
OK. I will do a semi-formal validation. I will run the suite with the --classic-pascal option and list any problems found.
The PVS has long past being of any commercial significance - the original copyright holders have no interest in it. As one of the developers of the PVS, I would be happy to post any tests that fail onto your system.
Brian.
On 22 Dec 2005, at 10:34, Waldek Hebisch wrote:
AFAIK the validation suite has not been run on GNU Pascal. So, please do this.