Interface Settings

interface Settings {
    database: Database;
    derandomize: boolean;
    seed: number | null;
    suppressHealthCheck: HealthCheck[];
    testCases: number;
    verbosity: Verbosity;
}