using Microsoft.EntityFrameworkCore;
using Microsoft.EntityFrameworkCore.Design;
public sealed class LabDbFactory : IDesignTimeDbContextFactory<LabDb>
{
    public LabDb CreateDbContext(string[] args) => new LabDb(new DbContextOptionsBuilder<LabDb>().UseSqlite("Data Source=ef-lab-design.db").Options);
}