Search results

Generate graph and HTML for single passing simulation run

Status: Open.

#217 In fizzbee-io/fizzbee;

· ANorwell opened on May 30, 2025

Simulation mode running more actions than configured, incorrectly updating state

Status: Open.

#215 In fizzbee-io/fizzbee;

· ANorwell opened on May 29, 2025

Confusing simulation mode <code>Deadlock/stuttering detected</code>

Status: Open.

#214 In fizzbee-io/fizzbee;

· ANorwell opened on May 29, 2025

Mutually incompatible eventually always assertions pass in the presence of a noop action

Status: Open.

#212 In fizzbee-io/fizzbee;

· ANorwell opened on May 27, 2025

An option to hide non-yield states in the HTML view

good first issueGood for newcomersGood for newcomers

Status: Open.

Feature

#194 In fizzbee-io/fizzbee;

· jp-fizzbee opened on May 5, 2025

Assertions should include an optional string log message

Status: Open.

Feature

#193 In fizzbee-io/fizzbee;

· jp-fizzbee opened on May 4, 2025

<code>print</code> logs should be captured per transition to make it easy to debug on error

good first issueGood for newcomersGood for newcomers

Status: Open.

Feature

#192 In fizzbee-io/fizzbee;

· jp-fizzbee opened on May 4, 2025

Add the status of various liveness assertion predicates in the HTML view

good first issueGood for newcomersGood for newcomers

Status: Open.

Feature

#191 In fizzbee-io/fizzbee;

· jp-fizzbee opened on May 4, 2025

Generate the html trace for the last run in simulation mode

good first issueGood for newcomersGood for newcomers

Status: Open.

Feature

#190 In fizzbee-io/fizzbee;

· jp-fizzbee opened on May 4, 2025

Possible Developer Experience Improvements

Status: Open.

#189 In fizzbee-io/fizzbee;

· ANorwell opened on May 3, 2025

Allow accepting states to not violate deadlock detection

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#182 In fizzbee-io/fizzbee;

· jp-fizzbee opened on Apr 29, 2025

Assertion within roles

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#179 In fizzbee-io/fizzbee;

· jp-fizzbee opened on Apr 28, 2025