--------------
- 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
---------------

For installation run the make script.

---------------
- 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/)