BenchmarkResultsDb

constructor(dbName: String, dbDirectory: Path = KSL.dbDir, deleteIfExists: Boolean = false)(source)

Parameters

dbName

the database file name

dbDirectory

the directory holding the database file

deleteIfExists

true deletes an existing file first; the default (false) appends to it