Ejemplo n.º 1
0
        internal float getDamageTest([PexAssumeUnderTest] Boost target)
        {
            float result = target.getDamage();

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