Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: mentioned IR.PARANOID and IR.SANITY_CHECK

...

Use VM.ExtremeAssertions instead of VM.VerifyAssertions if the assertion is costly to check but generally useful. These kinds of assertions are only enabled when config.assertions is set to extreme.

Use IR.SANITY_CHECK or IR.PARANOID to guard assertions that relate to the intermediate representation in the optimizing compiler.

Assertions in the MMTk Test Harness

...