public void TestMonitorWithReentrancy1()
{
this.Test(() =>
{
SignalData signal = new SignalData();
signal.ReentrantLock();
},
this.GetConfiguration().WithTestingIterations(100));
}
public void TestSynchronizedBlockWithReentrancy1()
{
this.Test(() =>
{
SignalData signal = new SignalData();
signal.ReentrantLock();
},
Configuration.Create().WithTestingIterations(100));
}