Search results

Update the runner logic to support shrink indices and minimal test output

Status: Open.

#62 In tweag/cardano-conformance-testing-of-consensus;

· isovector opened on Dec 2, 2025

·  

Milestone 2 - Shrinking

Implement the shrinkView executable

Status: Open.

#61 In tweag/cardano-conformance-testing-of-consensus;

· isovector opened on Dec 2, 2025

·  

Milestone 2 - Shrinking

Add ContinueShrinking flag

Status: Open.

#60 In tweag/cardano-conformance-testing-of-consensus;

· isovector opened on Dec 2, 2025

·  

Milestone 2 - Shrinking

Parse an optional --minimal-test-output flag

Status: Open.

#59 In tweag/cardano-conformance-testing-of-consensus;

· isovector opened on Dec 2, 2025

·  

Milestone 2 - Shrinking

Parse an optional --shrink-index flag

Status: Open.

#58 In tweag/cardano-conformance-testing-of-consensus;

· isovector opened on Dec 2, 2025

·  

Milestone 2 - Shrinking

Implement the ShrinkIndex algebra

Status: Open.

#57 In tweag/cardano-conformance-testing-of-consensus;

· isovector opened on Dec 2, 2025

·  

Milestone 2 - Shrinking

Merge the io-sim delay fixes

Status: Open.

#51 In tweag/cardano-conformance-testing-of-consensus;

· isovector opened on Nov 10, 2025

·  

Milestone 1 - Run Point Schedules and Property Tests for cardano-node

Test the property against the StateView

Status: Open.

#46 In tweag/cardano-conformance-testing-of-consensus;

· isovector opened on Nov 7, 2025

·  

Milestone 1 - Run Point Schedules and Property Tests for cardano-node

Observe the state of the NUT and produce a StateView

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#45 In tweag/cardano-conformance-testing-of-consensus;

· isovector opened on Nov 7, 2025

·  

Milestone 1 - Run Point Schedules and Property Tests for cardano-node

What synergies, parallelism and overlaps exist between our testing strategy and that of tartarus/antithesis?

questionFurther information is requestedFurther information is requested

Status: Open.

#37 In tweag/cardano-conformance-testing-of-consensus;

· ninioArtillero opened on Nov 7, 2025

What adversarial strategies should we implement in point schedule generators?

questionFurther information is requestedFurther information is requested

Status: Open.

#36 In tweag/cardano-conformance-testing-of-consensus;

· ninioArtillero opened on Nov 7, 2025

How important is to consider block forging nodes for our testing approach?

questionFurther information is requestedFurther information is requested

Status: Open.

#35 In tweag/cardano-conformance-testing-of-consensus;

· ninioArtillero opened on Nov 7, 2025