Subject: savant update
From: Philip A. Wilsey (paw@ECECS.UC.EDU)
Date: Mon Oct 22 2001 - 15:20:59 MDT
Update of /home/paw/CVS/savant/testsuite/lib
In directory gatekeeper.ececs.uc.edu:/tmp/cvs-serv24683/lib
Modified Files:
counters.exp helpers.exp
Log Message:
It works!! at all testlevels.... I've added additional summary reporting
information on the FAIL line that will tell where in the analyze,
publish,...simulate sequence each test failed. I still have to study the
publish-vhdl testing some more. Documentation will follow shortly. For
now, instructions are as follows. In the testsuite directory you an issue
the following make commands:
1. make get-vests
which will automatically retrive the vests testsuite from the
cliftonlabs anonymous cvs archive and place the tests in
testsuite/savant.vests. If you do this, a "make check" (below) command
will also invoke savant against all the vhdl-93 tests in vests;
otherwise only the tests in savant.hello_world and savant.ping_pong will
be exercised.
2. make check
make check TESTLEVEL=level
where level is one of parse, publish-vhdl, publish-cc, build, simulate.
TESTLEVEL parse is the default. This command will cause the tests in
savant.* to be exercised at the specified level. I still have to
cleanup the reporting functions for publish-vhdl, but everything else is
fully operational (but minimally tested).
Please try it out and report any problems to me.
This archive was generated by hypermail 2b25 : Mon Mar 18 2002 - 13:00:12 MST