Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Property Tests for Ledger with Delegation #20

Closed
JaredCorduan opened this issue Oct 19, 2018 · 1 comment
Closed

Property Tests for Ledger with Delegation #20

JaredCorduan opened this issue Oct 19, 2018 · 1 comment
Labels
⚙️ executable-model
Projects
Ledger with Delegation

Comments

@JaredCorduan
Copy link
Contributor

Turn the properties from #18 and the generators from #19 into property tests.
@JaredCorduan JaredCorduan added this to the Ledger w/ Delegation milestone Oct 19, 2018
@mgudemann mgudemann mentioned this issue Oct 23, 2018
Closed
This was referenced Nov 6, 2018
Closed
Closed
@JaredCorduan JaredCorduan removed this from the LaTex Spec v1 milestone Jan 31, 2019
@dnadales
Copy link
Member

dnadales commented Aug 5, 2019

Is this still relevant? 🌳 ✂️ :D

nc6 pushed a commit that referenced this issue May 19, 2020
@ruhatch
Merge pull request #20 from input-output-hk/ruhatch/#1
537152b 
[#14] Add cardano-crypto-wrapper package
teodanciu pushed a commit to bienpulenta/cardano-ledger that referenced this issue Apr 19, 2023
@erikd
Merge pull request IntersectMBO#20 from input-output-hk/erikd/cabal.p…
68f53ef 
…roject

Add cabal.project file
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
⚙️ executable-model
Projects
No open projects
Ledger with Delegation
  
To do
Milestone
No milestone
Development

No branches or pull requests
2 participants
@dnadales @JaredCorduan