mono/tests/verifier/README

   1 Run make clean to cleanup the generated files.
   2 Run make test to run the tests.
   3
   4 TODO:
   5
   6 III,1.7.1 - Modified binary assembly.
   7 III,1.7.2 - Modified binary assembly.
   8 III,1.7.3 - Modified binary assembly.
   9 III,1.7.4 - Modified binary assembly.
  10 III,1.7.6 - Modified binary assembly.
  11 III,1.8.1.4 - Test non-store operations on unititalised this (not needed for LSL)
  12 III,1.8.1.5 - Test delegate construction enforced (not needed for LSL)
  13 III,3.15 - Binary tests for branching to addresses that are not first bytes of opcodes.
  14 III,3.17 - Binary tests as with III,3.15.
  15 III,3.27 - Tests for conversions other than to i4 and r8 (not needed for LSL)
  16 III,3.38 - Tests for other argument loading opcodes (not needed for LSL)
  17 III,3.39 - Tests for other argument address loading opcodes (not needed for LSL)
  18 III,3.43 - Tests for other local loading opcodes (not needed for LSL), test local initialisation (binary).
  19 III,3.44 - Tests for other local address loading opcodes (not needed for LSL), test local initialisation (binary).
  20 III,3.61 - Verification type matching? starg tests (non-short) (not needed for LSL)
  21 III,3.63 - As 3.61, verification type matching? stloc (non-short) (not needed for LSL)
  22 I,8.7 - Assignment Compatibility store tests (verification type compatibility) for store opcodes.