public void WriteSetsDiskFlushFlag()
{
using (var wrapper = new FileWrapperStream(TemporaryFile))
{
wrapper.Seek(0, System.IO.SeekOrigin.Begin);
Assert.IsFalse(wrapper.IsAwaitingDiskFlush);
wrapper.WriteByte(4);
Assert.IsTrue(wrapper.IsAwaitingDiskFlush);
}
}
internal void WriteByte([PexAssumeUnderTest] FileWrapperStream target, byte value)
{
target.WriteByte(value);
// TODO: add assertions to method FileWrapperStreamTest.WriteByte(FileWrapperStream, Byte)
}