quickcheck-state-machine: 0.8.0 (2db4a398) · Commits · package-sets / horizon-platform · GitLab

Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

horizon-platform
- Activity
- Members
- Labels
- Issues
  2
- Issue boards
- Milestones
- Wiki
- Releases
- Package Registry
- Environments
- Terraform modules
- Incidents
- Service Desk

Snippets Groups Projects

package-sets
horizon-platform
Commits
2db4a398

Commit 2db4a398 authored 1 year ago by

Daniel Firth

Downloads
- Patches
- Plain Diff

quickcheck-state-machine: 0.8.0

parent 5d1a7d01

Branches

1 merge request!112Quickcheck state machine

Changes 8

Hide whitespace changes

Inline Side-by-side

Showing

horizon.dhall 7 additions, 1 deletion

horizon.dhall
horizon.lock 20 additions, 0 deletions

horizon.lock
overlay.nix 10 additions, 0 deletions

overlay.nix
pkgs/fgl-arbitrary.nix 21 additions, 0 deletions

pkgs/fgl-arbitrary.nix
pkgs/fgl.nix 26 additions, 0 deletions

pkgs/fgl.nix
pkgs/microbench.nix 21 additions, 0 deletions

pkgs/microbench.nix
pkgs/quickcheck-state-machine.nix 47 additions, 0 deletions

pkgs/quickcheck-state-machine.nix
pkgs/wl-pprint-text.nix 22 additions, 0 deletions

pkgs/wl-pprint-text.nix

with 174 additions and 1 deletion

0% or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment