Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / symbiont-io / property-based-testing-stateful-systems
A tutorial about how to apply property-based testing to stateful systems.
Stars: 3
Forks: 1
Open Issues: 1
License: mit
Language: Haskell
Repo Size: 636 KB
Dependencies:
8
Created: over 1 year ago
Updated: over 1 year ago
Last pushed: over 1 year ago
Last synced: over 1 year ago
Topics: fault-injection, haskell, linearizability, property-based-testing, simulation-testing, state-machines, tutorial
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/ci.yaml
actions
- actions/cache v3 composite
- actions/checkout v3 composite
- haskell/actions/setup v2 composite
.github/workflows/release.yaml
actions
- actions/cache v3.0.11 composite
- actions/checkout v3 composite
- actions/create-release v1.1.4 composite
- haskell/actions/setup v2.0.1 composite
- olegtarasov/get-tag v2.1.2 composite