Repository navigation
Commit 44292cb
committed
CI: add --features cycle-driver to the supervisor step (30 unrun falsifiers)
`cycle-driver` is a SEPARATE feature that `supervisor` does not imply, so the
supervisor step -- despite being this crate's own step -- never compiled
`cycle_driver`, the three `probe_ignition*` / `d_ign_b_lenses` test binaries, or
any of #879's loop-closure contract.
Measured on this tree, not inferred:
--features supervisor 13 tests
--features supervisor,cycle-driver 43 tests, 0 failed
The 30 in the gap include `probe_ignition_64k_start_at_full_population` -- the
65,536-owner / 17-sealed headline canonized as
E-64K-1TO1-OWNERS-IS-THE-MAIN-MODEL-1. It runs in 13.75 s and passes; it had
simply never run anywhere but a developer machine.
#891 recorded this gap and deliberately did not touch the workflow. #898 closed
the identical shape for callcenter (`--features query`) but not this one -- same
arc, same defect class, one closed and one left open. One added feature closes
it, and the new invocation is a strict superset of the old, so it cannot lose
coverage.1 parent 912a41f commit 44292cb
1 file changed
Lines changed: 17 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
139 | 139 | | |
140 | 140 | | |
141 | 141 | | |
142 | | - | |
143 | | - | |
| 142 | + | |
| 143 | + | |
| 144 | + | |
| 145 | + | |
| 146 | + | |
| 147 | + | |
| 148 | + | |
| 149 | + | |
| 150 | + | |
| 151 | + | |
| 152 | + | |
| 153 | + | |
| 154 | + | |
| 155 | + | |
| 156 | + | |
| 157 | + | |
| 158 | + | |
144 | 159 | | |
145 | 160 | | |
146 | 161 | | |
| |||
0 commit comments