https://github.com/compositionalit/provingfunctioncorrectnessdemo

Demonstration of how well chosen properties for property-based testing can "prove" the correctness of a function.
https://github.com/compositionalit/provingfunctioncorrectnessdemo

Last synced: 6 months ago
JSON representation

Demonstration of how well chosen properties for property-based testing can "prove" the correctness of a function.

• Host: GitHub
• URL: https://github.com/compositionalit/provingfunctioncorrectnessdemo
• Owner: CompositionalIT
• License: mit
• Created: 2024-09-20T14:47:19.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2025-04-17T14:17:28.000Z (11 months ago)
• Last Synced: 2025-07-06T16:41:09.025Z (8 months ago)
• Language: F#
• Size: 13.7 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Proving function correctness demo

This is the companion repo to the Compositional IT blog post [Proving function correctness with property-based tests](https://www.compositional-it.com/news-blog/proving-function-correctness-with-property-based-tests).

Code is in [./src/ProvingFunctionCorrectnessDemo/Program.fs](./src/ProvingFunctionCorrectnessDemo/Program.fs). It can be run using `dotnet run` from in the ./src/ProvingFunctionCorrectnessDemo/ directory.