Property-Based Testing

[emil14]

📝 Description

This issue proposes the introduction of Property-Based Testing (PBT) to systematically explore the state space of our logic by asserting "Invariants" (properties) that must hold true for any valid input.

🛠 Plan

• Introduce Tooling: Research and select a Go PBT framework.
  • Candidates: github.com/leanovate/gopter or testing/quick.
• CI Integration:
  • Integrate PBT into go test ./....
  • Start with a low iteration count (e.g., 100 runs) to keep CI fast.
• Brainstorm:
  • Figure out how PBT works in details
  • Create clear vision on what exactly and how could and should be tested
• Implement
  • Integrate real PBT into the codebase

🚀 Benefits

• Bug Discovery
• More Refactoring Confidence
• Crash Prevention