Ejemplo n.º 1
0
        internal Element getElementTest([PexAssumeUnderTest] Boost target)
        {
            Element result = target.getElement();

            return(result);
            // TODO: ajouter des assertions à méthode BoostTest.getElementTest(Boost)
        }