Bezeichnung
pcoverage:Set -- Setzt den Abdeckungsgrad
Übersicht
pcoverage:Set(index, level)
Beschreibung
Ändet einen bestimmten Index innerhalb der Abdeckung.
Eingaben
index
der zu ändernde Index
level
der neue Abdeckungsgrad für
index
Navigation zeigen