Alexey Kuleshevich
Alexey Kuleshevich
There are still flaky tests that are failing to discards. But, it is one step closer to nightly builds going green
@neilmayhew Sounds good. I'll take care of merging this PR.
> so now that we have hydra builds working again this could be considered a solution. Nope, I do not want to rely on Hydra. The fact that it is...
Moreover switching completely to Hydra is not a good idea at all, since then we are stuck with a nix only build setup without having a cabal only set up....
There is a slightly more accurate and clearer way being implemented in #3919
We now have a pretty solid implementation that was taken care of by #3978
We need to implement as many properties that verify that the rules behaves as expected, which is still missing
This ticket defines some properties that can be testes with property testing: https://github.com/input-output-hk/cardano-ledger/issues/3881 In particular utilizing `GetCommitteeMembersState` to check the state change after certificate submission: * Status is Active and...
This is definitely not going to happen for Conway, since we are at the point where we should not change CDDL format of the transaction body and changing the semantics...
Block serialization logic has moved over to consensus repository starting with Babbage, so that's why CDDL spec can't be checked in ledger code for the block header. I just looked...