Function load_or_create_database

benchmarks/src/utils/benchmark.py:69–77

Loads an existing database from a directory, or creates a new one.

(workdir: Path)

def load_or_create_database(workdir: Path) -> Database:
    """
    Loads an existing database from a directory, or creates a new one.
    """
    database_path = workdir / DEFAULT_DATA_JSON
    if database_path.is_file():
        return Database.from_file(database_path)
    else:
        return Database.empty(database_path)