example of tests in BDD style for eventsourcing library

DomainTests.cs

public class DomainModelTests {
    
    [Fact]
    public void ANewModelWillHaveNoUncommittedChangesTest() {
        new SimpleDomainModel().Changes().ShouldBeEmpty();
    }

    [Fact]
    public void ANewModelDoingNothingWIllHaveNoUncommittedChanges() {
        TestResult<SimpleDomainModel> test = new TestHarness<SimpleDomainModel>().
            Given(TestHelpers.NoEvents).
            When(TestHelpers.NothingHappensWith<SimpleDomainModel>()).
            Then(
                events => events.Count() == 0
            );

        test.Result.ShouldBeTrue(test.Message);

    }

    [Fact]
    public void AModelWithASingleEntryTest() {
        TestResult<SimpleDomainModel> test = new TestHarness<SimpleDomainModel>().
            Given(new ThingamajigCreated()).
            When(subject => subject.AddItem("Hello")).
            Then( 
                events => events.Count() == 1,
                events => events.First() is ItemAddedEvent
            );

        test.Result.ShouldBeTrue(test.Message);

    }
}