Expanded Types for ES 6.0

Unit under test:

Expanded mechanism of the compiler

General

Perform testing on all possible targets:

  • frozen byte code
  • frozen C
  • finalized C
  • .NET

With different assertion levels:

  • Precondition checked
  • Postcondition checked
  • Supplier preconditions
  • Checks
  • Invariants

Testing

  • Read ECMA and understand requirements.
  • Check which tests are already done in eweasel.
  • Implemented more eweasel tests.

The following aspects should be tested with higher priority because they have not been fully tested yet:

  • feature calls on replicated features
  • feature calls on joined features
  • assignment attempt
  • any situations when conversion is involved
  • calls to inline and non-inline agents
  • passing arguments that may change expandedness status to external routines
  • special kinds of feature calls (bracket expressions, assignment commands, binary operators, etc.)

Test cases

No test cases for this test plan available.