4. Summary of results#

The test case is of the non-regression type.