Table of Contents
ExtensionDatabase
An ExtensionFileDatabase is a FileDatabase where each kind of
ExtensionFileDatabase
FileDatabase
A FileDatabase stores each test as a single file.