Tests for File class