Skip to content

test: add property-based tests for memory store append/list invariants (Closes #148) - #211

Open
rafaio1 wants to merge 1 commit into
Lilly-Protocol:mainfrom
rafaio1:bounty/issue-148-memory-store-property-tests
Open

test: add property-based tests for memory store append/list invariants (Closes #148)#211
rafaio1 wants to merge 1 commit into
Lilly-Protocol:mainfrom
rafaio1:bounty/issue-148-memory-store-property-tests

Conversation

@rafaio1

@rafaio1 rafaio1 commented Aug 26, 2026

Copy link
Copy Markdown

Summary

Adds property-based tests for InMemoryMemoryStore using fast-check to verify that listByAgent correctly filters entries by agent and preserves append order across arbitrary sequences.

Changes

  • Added fast-check as dev dependency
  • Created tests/memory/in-memory-memory-store.property.test.ts with 3 property tests:
    • listByAgent returns exactly matching entries in append order
    • Insertion order preserved across mixed agents
    • Unknown agent returns empty array after arbitrary appends

Testing

All 3 property tests pass (50 runs each). TypeScript compiles clean.

Closes #148

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Bounty: $65] Add property-based tests for memory store append/list invariants

1 participant