public void TestParrel_concurrent_locked()
{
var concurrentTape = new Concurrent <ITape, int, int>(() => new TapeConcurrentLocking(), 2);
concurrentTape
.ToProperty(Validate, new Collection <ConcurrentCommand.Command <ITape, int> > {
new GetTicketCommand(), new ReadCommand()
}, 0)
.VerboseCheckThrowOnFailure();
}
public void TestParrel_concurrent_buggy_std()
{
var t = Configuration.QuickThrowOnFailure;
t.Replay = FsCheck.Random.StdGen.NewStdGen(1867961639, 296867728);
var concurrentTape = new Concurrent <ITape, int, int>(() => new TapeConcurrentBug(), 2);
concurrentTape
.ToProperty(Validate, new Collection <ConcurrentCommand.Command <ITape, int> > {
new GetTicketCommand(), new ReadCommand()
}, 0)
.Check(t);
}