VerificationStatistics¶

public class VerificationStatistics¶

Constructors¶

VerificationStatistics¶

protected VerificationStatistics(APIClient client)¶

Methods¶

fromProtobuf¶

public static VerificationStatistics fromProtobuf(APIClient client, Out.CocoVerificationStatistics inputValue)¶

getEntries¶

public final java.util.ArrayList<io.cocotec.popili.coco.StatisticsEntry> getEntries()¶

getTime¶

public final java.time.Duration getTime()¶

getVisitedStates¶

public final long getVisitedStates()¶

getVisitedTransitions¶

public final long getVisitedTransitions()¶