StoneCypher / jssm / 075c21d1386e4158a074678763e0017c345fefed

100%

master: 100%

Pull #611

github

test: revive the dead kitchen-sink dragon suite

This property suite had been failing at collection since the
make_mulberry_rand -> splitmix32 rename, so its body had not run in a
long time. Fixing the stale import surfaced two deeper problems:

- The FSL generator re-emitted each chain on every outer iteration,
  producing duplicate edges the parser now rejects.
- The generator never matched its documented loopable / semi-star
  design: new nodes were unreachable as chain endpoints and every chain
  dead-ended, so even a "no-halt" machine was full of terminal sinks the
  random walk fell into, and `halted === shouldHalt` failed on roughly
  half of all runs.

Rewrote the generator. The non-halting (loopable) case closes every
chain back to an existing node, so no node is a sink and the walk
cannot terminate. The halting (semi-star) case leaves chains hanging,
producing a DAG in which every walk reaches a sink. All 100 property
runs now pass.

925 of 925 branches covered (100.0%)

Branch coverage included in aggregate %.

2 of 2 new or added lines in 1 file covered. (100.0%)

1472 of 1472 relevant lines covered (100.0%)

1905.52 hits per line