public void read_lines()
{
TextFile.FileSystem.WriteStringToFile("bar.txt", @"
a
b
c
d
e
f
".Trim());
var file = new TextFile("bar.txt", "anything");
file.ReadLines().ShouldHaveTheSameElementsAs("a", "b", "c", "d", "e", "f");
}