IP Pascal just passed the Pascal Verification Suite. This is a
comprehensive
set of tests that checks both if the compiler handles all valid ISO 7185
Pascal
statements, as well as rejects invalid statements. It was created during
the
ISO 7185 standards process in 1978 by A. Sale and B. Wichmann.
The Pascal Verification Suite was obtained from the PUG newsletter #16,
and
was later used as the basis of the BSI (British Standards Institute)
verification
tests.
IP Pascal quite possibly is the first compiler to come online and pass the
verification suite for many years (decades?).
IP Pascal also now has an automated test tool suite, which are programs
that
automatically generate test cases for the compiler.
The documentation update is being prepared for the demo version, which
will
appear shortly on the IP Pascal web site:
http://www.moorecad.com/ippas
--
Samiam is Scott A. Moore
Personal web site: http:/www.moorecad.com/scott
My electronics engineering consulting site: http://www.moorecad.com
ISO 7185 Standard Pascal web site: http://www.moorecad.com/standardpascal
Classic Basic Games web site: http://www.moorecad.com/classicbasic
The IP Pascal web site, a high performance, highly portable ISO 7185
Pascal
compiler system: http://www.moorecad.com/ippas
Good does not always win. But good is more patient.
