SharedCounter.GetValue method

Gets the current value of the shared counter.

public virtual int GetValue()

See Also

• class SharedCounter
• namespace Microsoft.Coyote.Actors.SharedObjects
• assembly Microsoft.Coyote.Actors