public virtual void TestWriterAfterCrash()
{
IndexWriter writer = InitIndex();
MockRAMDirectory dir = (MockRAMDirectory)writer.Directory;
dir.SetPreventDoubleWrite(false);
Crash(writer);
writer = InitIndex(dir);
writer.Close();
IndexReader reader = IndexReader.Open((Directory)dir, false, null);
Assert.IsTrue(reader.NumDocs() < 314);
}