--------------
- Description
--------------

BytecodeVerification is a Java bytecode instruction testing framework.
It performs tests on each bytecoded instruction separately. It will soon 
be included in SableVM, a portable bytecode interpreter, and in SableJIT,
a retargetable just-in-time compiler for SableVM.

The BytecodeVerification generating files are written in a java assembly-
like language using Jasmin a Java assembler interface. The files are then 
deployed in the JUnit testing framework.

Information about SableVM and SableJIT may be found at
http://www.sablevm.org/ and its related
http://sourceforge.net/projects/sablevm/ SableVM's SourceForge project page.

Information about Jasmin may be found at
http://mrl.nyu.edu/~meyer/jasmin/

Information about the JUnit testing framework may be found at
http://www.junit.org/

---------------
- Installation
---------------

The BytecodeVerificationTest class is the main entry point.  You should be
able to run it with:

sablevm -Y BytecodeVerificationTest

or

java BytecodeVerificationTest

---------------
- Installation
---------------

For installation run the make script.

You will probably need to adjust scripts in the current directory to run
the appropriate tools like jasmin and javac.

Only do it if you have to.  Likely your version already includes all .class
files necessary to run the test suite.

---------------
- Requirements
---------------

In order to be able to deploy the BytecodeVerification testing framework files
you need a system with the following softwares installed on

GNU m4      (http://www.seindal.dk/rene/gnu/)
Jasmin      (http://mrl.nyu.edu/~meyer/jasmin/)
JUnit       (http://www.junit.org/)
GNU make    (http://gnu.org/)
