public void should_be_marked_as_not_reserved_after_release() { var buffer = MockRepository.GenerateStub<IBuffer>(); var channel = new Channel(buffer); var flit = new Flit(); channel.Release(flit); channel.IsReservedForOtherThan(flit).Should().Be.False(); channel.IsReservedForOtherThan(new Flit()).Should().Be.False(); }
public void should_be_initially_empty_and_not_reserved() { var buffer = MockRepository.GenerateStub<IBuffer>(); var channel = new Channel(buffer); channel.IsFull().Should().Be.False(); channel.IsReservedForOtherThan(new Flit()).Should().Be.False(); }