Esempio n. 1
0
 public override Gen <Operation <SpecCounter, CounterModel> > Next(CounterModel obj0)
 {
     return(Gen.OneOf(Increment.IncrementGen(), Reset.ResetGen(), ScheduledSet.ScheduledSetGen(),
                      ScheduledSetInterleaved.ScheduledInterleavedSetGen()));
 }