C# (CSharp) ISharedCounter.GetValue Examples

Example #1

File: SharedCounterMockTest2.cs Project: wxdtony/PSharp

            void Check()
            {
                var v = counter.GetValue();

                this.Assert(v == 0);
            }

Example #2

File: DistributedCounter.cs Project: urasandesu/Bondage

 object GetValueCore(params object[] args)
 {
     return(m_counter.GetValue());
 }