.. _v5.01.111-synthese:


Summary of results
=======================

The test case is of the non-regression type.