-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
test: the
Connection closed.cascade after a stalled browser file is unreproducedbugSomething isn't workingSomething isn't workingStatus: Open.#178 In AlexJeffcott/polly;test: coverage.enforce runs at 83-86% of its 180s budget and times out under load
bugSomething isn't workingSomething isn't workingStatus: Open.#175 In AlexJeffcott/polly;test: random listen ports make the integration tier fail unreproducibly (3.45% per run)
bugSomething isn't workingSomething isn't workingStatus: Open.#174 In AlexJeffcott/polly;verify: a timed-out docker run leaks a container, and one orphan turns a 22s suite into 69 minutes
bugSomething isn't workingSomething isn't workingStatus: Open.#173 In AlexJeffcott/polly;verify: MessageRouter.cfg cannot be run as documented — both PROPERTIES quantify over a variable and the CONSTRAINT is an inline expression
bugSomething isn't workingSomething isn't workingStatus: Open.#172 In AlexJeffcott/polly;verify: a requires() that does not hold wedges the message for ever — generated specs carry no liveness property and no routing fairness to see it
bugSomething isn't workingSomething isn't workingStatus: Open.#171 In AlexJeffcott/polly;verify: a single ternary in an object-literal assignment is dropped, so the field is modelled as never moving
bugSomething isn't workingSomething isn't workingStatus: Open.#170 In AlexJeffcott/polly;verify: a signal alias in an object-literal assignment generates an undefined TLA+ name and the run aborts
bugSomething isn't workingSomething isn't workingStatus: Open.#169 In AlexJeffcott/polly;verify: @invariant extraction is gated on a flag no caller sets — the JSDoc invariant path has never run
bugSomething isn't workingSomething isn't workingStatus: Open.#168 In AlexJeffcott/polly;fix: a pending debounce timer outlives an incoming sync update and persists the stale value under the remote clock
bugSomething isn't workingSomething isn't workingStatus: Open.#167 In AlexJeffcott/polly;- Status: Open.#122 In AlexJeffcott/polly;
- Status: Open.#111 In AlexJeffcott/polly;