samyonr

using EFCoreDropSequenceOrder.Entities;
using Microsoft.EntityFrameworkCore;

namespace EFCoreDropSequenceOrder.DataAccess;

public class AppDbContext(DbContextOptions options) : DbContext(options)
{
    // Step 1: Add the DbSet properties for concrete types, generate migration
    public DbSet<Dog> Dogs { get; set; }
    public DbSet<Cat> Cats { get; set; }

samyonr

using Microsoft.EntityFrameworkCore;

namespace Entities;

public class DemoContext(DbContextOptions<DemoContext> options) : DbContext(options)
{
    public DbSet<Property> Properties { get; set; }
    public DbSet<PropertyType> PropertyTypes { get; set; }
    public DbSet<Location> Locations { get; set; }
}

samyonr

<Project Sdk="Microsoft.NET.Sdk">

    <PropertyGroup>
        <TargetFramework>net8.0</TargetFramework>
        <ImplicitUsings>enable</ImplicitUsings>
        <Nullable>enable</Nullable>
    </PropertyGroup>

    <ItemGroup>
      <PackageReference Include="Microsoft.EntityFrameworkCore" Version="8.0.10" />

samyonr

using Microsoft.EntityFrameworkCore;

namespace Entities;

public class DemoContext(DbContextOptions<DemoContext> options) : DbContext(options)
{
    public DbSet<Property> Properties { get; set; }
    public DbSet<PropertyType> PropertyTypes { get; set; }
    public DbSet<Location> Locations { get; set; }
}

samyonr

<Project Sdk="Microsoft.NET.Sdk">

    <PropertyGroup>
        <TargetFramework>net8.0</TargetFramework>
        <ImplicitUsings>enable</ImplicitUsings>
        <Nullable>enable</Nullable>
    </PropertyGroup>

    <ItemGroup>
      <PackageReference Include="Microsoft.EntityFrameworkCore" Version="8.0.10" />

samyonr

namespace MapperlyBug;

public partial record struct DestTimeValueId(DateTime Time, double Value, int? Id);

public partial class DestResultsSet
{
    public required IReadOnlyList<IReadOnlyList<DestTimeValueId>> Results { get; set; }

}

samyonr

-------------------- MODULE ConvergingLivenessCondition --------------------

EXTENDS TLC, Integers

(***************************************************************************)
(* A number of actors, each want to transition from IDLE to PREPARED, and  *)
(* then from PREPARED to DONE.  Once an actor is DONE it'll stay DONE, but *)
(* it can go backward from PREPARED to IDLE if the situation looks dicey.  *)
(*                                                                         *)
(* IDLE <---> PREPARED ---> DONE                                           *)

samyonr

---------------------------- MODULE anyRefinement2and3counter ----------------------------

EXTENDS Naturals

VARIABLES x, y

Init == /\ x = 0
        /\ y = 0

TwoCounterStep == /\ x' = (x + 1) % 2

samyonr

Goroutine 1
  runtime.gopark (C:/sdk/go1.16.7/src/runtime/proc.go:337)
  runtime.chanrecv (C:/sdk/go1.16.7/src/runtime/chan.go:576)
  runtime.chanrecv1 (C:/sdk/go1.16.7/src/runtime/chan.go:439)
  testing.(*T).Run (C:/sdk/go1.16.7/src/testing/testing.go:1239)
  testing.runTests.func1 (C:/sdk/go1.16.7/src/testing/testing.go:1511)
  testing.tRunner (C:/sdk/go1.16.7/src/testing/testing.go:1193)
  testing.runTests (C:/sdk/go1.16.7/src/testing/testing.go:1509)
  testing.(*M).Run (C:/sdk/go1.16.7/src/testing/testing.go:1417)
  ayyeka.com/dl/amqp.TestMain (C:/go/src/ayyeka.com/dl/amqp/main_test.go:19)