VerificationStatistics¶

public class VerificationStatistics¶: Statistics about a verification check.

Constructors¶

VerificationStatistics¶

protected VerificationStatistics(APIClient client)¶: Internal constructor

Methods¶

fromProtobuf¶

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

getEntries¶

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

getTime¶

public final java.time.Duration getTime()¶: The total time taken to verify this assertion. Measured in milliseconds.

getVisitedStates¶

public final long getVisitedStates()¶: The total number of states visited.

getVisitedTransitions¶

public final long getVisitedTransitions()¶: The total number of transitions visited.