VerificationStatistics¶

class Cocotec.CocoPlatform.Coco.VerificationStatistics¶

Statistics about a verification check.

Properties

ulong VisitedStates { }¶

The total number of states visited.

ulong VisitedTransitions { }¶

The total number of transitions visited.

TimeSpan Time { }¶

The total time taken to verify this assertion. Measured in milliseconds.

List<Cocotec.CocoPlatform.Coco.StatisticsEntry> Entries { }¶