vasilito
5c6cd18599
tests: fix UHCI proof marker for interpolated controller name
...
The UHCI runtime proof grepped for the literal
'uhcid: controller initialized, polling ports'
but uhcid main.rs:535 emits it with ctrl.name interpolated mid-string:
info!("uhcid: {} controller initialized, polling ports", ctrl.name);
producing e.g. 'uhcid: 0000:00:01.2_uhci controller initialized, polling
ports'. The literal grep never matched and the proof would fail 100% of the
time at runtime.
Fix: grep with a regex anchored on the stable suffix:
grep -Eq 'uhcid: .* controller initialized, polling ports'
The ohcid, ehcid, usbhidd, and usbscsid markers were re-audited against
driver source and are all correct (ohcid main.rs:341 has no interpolation;
ehcid main.rs:294 interpolates after the matched comma prefix; all others
interpolate at line ends matched by prefix). Only the UHCI init-done marker
was broken.
Comment header and error echo updated to document the interpolated form and
point at main.rs:535 so the regex is not 'simplified' back to a literal.
No QEMU runs. bash -n passes. Verified the regex matches the real emitted
format and does not cross-match ohcid's identical suffix (the 'uhcid:' prefix
anchor disambiguates).
2026-07-20 11:23:33 +09:00
..
2026-06-19 11:47:25 +03:00
2026-07-18 14:45:41 +09:00
2026-06-19 11:47:25 +03:00
2026-07-12 23:49:04 +03:00
2026-07-05 22:50:33 +03:00
2026-05-02 01:41:17 +01:00
2026-06-19 11:47:25 +03:00
2026-06-19 11:47:25 +03:00
2026-07-15 00:40:23 +09:00
2026-07-12 18:13:31 +03:00
2026-04-16 12:45:24 +01:00
2026-07-18 17:44:16 +09:00
2026-05-02 22:09:36 +01:00
2026-07-18 14:45:41 +09:00
2026-07-18 14:45:41 +09:00
2026-07-18 14:45:41 +09:00
2026-04-28 15:10:59 +01:00
2026-07-01 15:01:26 +03:00
2026-07-18 14:45:41 +09:00
2026-07-12 17:44:21 +03:00
2026-07-13 17:38:38 +03:00
2026-07-13 19:25:14 +03:00
2026-05-04 19:21:02 +01:00
2026-06-28 00:01:47 +03:00
2026-06-19 11:47:25 +03:00
2026-05-02 22:09:36 +01:00
2026-06-21 15:15:57 +03:00
2026-06-19 11:47:25 +03:00
2026-06-19 11:47:25 +03:00
2026-07-12 12:20:29 +03:00
2026-06-28 00:01:47 +03:00
2026-07-05 22:50:33 +03:00
2026-06-19 11:47:25 +03:00
2026-06-19 11:47:25 +03:00
2026-05-03 23:03:24 +01:00
2026-04-16 12:45:24 +01:00
2026-04-18 17:59:15 +01:00
2026-04-18 01:09:13 +01:00
2026-06-19 11:47:25 +03:00
2026-04-18 17:59:15 +01:00
2026-04-16 12:45:24 +01:00
2026-05-03 23:03:24 +01:00
2026-06-19 11:47:25 +03:00
2026-04-18 00:57:57 +01:00
2026-04-17 23:46:20 +01:00
2026-07-12 18:59:19 +03:00
2026-07-18 14:45:41 +09:00
2026-04-18 01:09:29 +01:00
2026-07-15 00:40:23 +09:00
2026-06-29 19:34:35 +03:00
2026-06-19 11:47:25 +03:00
2026-06-19 11:47:25 +03:00
2026-06-19 11:47:25 +03:00
2026-04-16 12:45:24 +01:00
2026-07-12 11:52:28 +03:00
2026-07-18 14:45:41 +09:00
2026-07-12 11:02:27 +03:00
2026-04-16 12:45:24 +01:00
2026-05-02 01:41:17 +01:00
2026-07-12 02:38:12 +03:00
2026-07-20 09:01:14 +09:00
2026-06-19 11:47:25 +03:00
2026-06-19 11:47:25 +03:00
2026-07-01 22:02:26 +03:00
2026-07-18 14:45:41 +09:00
2026-06-28 00:01:47 +03:00
2026-06-19 11:47:25 +03:00
2026-04-28 08:07:14 +01:00
2026-05-03 23:03:24 +01:00
2026-04-16 12:45:24 +01:00
2026-06-19 11:47:25 +03:00
2026-04-28 08:07:14 +01:00
2026-04-16 12:45:24 +01:00
2026-04-28 12:54:31 +01:00
2026-07-11 23:18:41 +03:00
2026-07-19 09:33:07 +09:00
2026-04-18 17:59:15 +01:00
2026-04-18 17:59:15 +01:00
2026-04-26 22:51:09 +01:00
2026-07-20 09:01:14 +09:00
2026-04-16 12:45:24 +01:00
2026-07-13 17:38:38 +03:00
2026-07-20 09:01:14 +09:00
2026-07-20 09:01:14 +09:00
2026-04-18 17:59:15 +01:00
2026-07-20 10:04:56 +09:00
2026-05-01 03:15:20 +01:00
2026-07-20 09:01:14 +09:00
2026-06-19 11:47:25 +03:00
2026-07-20 07:08:28 +09:00
2026-04-29 13:45:39 +01:00
2026-04-16 12:45:24 +01:00
2026-05-01 01:37:27 +01:00
2026-07-20 09:01:14 +09:00
2026-04-22 21:31:19 +01:00
2026-04-20 18:37:35 +01:00
2026-07-20 00:14:30 +09:00
2026-05-04 11:57:48 +01:00
2026-07-20 10:04:56 +09:00
2026-07-20 09:01:14 +09:00
2026-07-20 09:01:14 +09:00
2026-07-20 09:01:14 +09:00
2026-07-20 09:01:14 +09:00
2026-07-20 09:01:14 +09:00
2026-07-20 09:01:14 +09:00
2026-07-20 09:01:14 +09:00
2026-04-18 17:59:15 +01:00
2026-07-20 09:01:14 +09:00
2026-07-20 09:01:14 +09:00
2026-07-20 09:01:14 +09:00
2026-07-20 09:01:14 +09:00
2026-07-20 09:01:14 +09:00
2026-07-20 07:08:28 +09:00
2026-06-19 11:47:25 +03:00
2026-06-19 11:47:25 +03:00
2026-05-04 11:57:48 +01:00
2026-07-20 07:08:28 +09:00
2026-07-20 11:23:33 +09:00
2026-07-20 10:04:56 +09:00
2026-07-19 19:55:27 +09:00
2026-06-19 11:47:25 +03:00
2026-07-20 09:01:14 +09:00
2026-07-20 09:01:14 +09:00
2026-07-20 07:08:28 +09:00
2026-06-19 11:47:25 +03:00
2026-04-14 12:14:50 +01:00
2026-04-16 12:45:24 +01:00
2026-04-16 12:45:24 +01:00
2026-07-20 09:01:14 +09:00
2026-07-20 09:01:14 +09:00
2026-06-19 11:47:25 +03:00
2026-07-20 00:14:30 +09:00
2026-07-18 14:48:53 +09:00
2026-07-12 10:13:12 +03:00
2026-07-19 05:38:30 +09:00
2026-05-03 23:03:24 +01:00
2026-04-23 20:27:13 +01:00
2026-07-09 19:08:34 +03:00
2026-05-02 01:41:17 +01:00
2026-06-19 11:47:25 +03:00
2026-04-16 12:45:24 +01:00
2026-07-12 00:19:30 +03:00
2026-07-12 12:11:23 +03:00
2026-07-10 22:10:33 +03:00
2026-07-12 16:47:57 +03:00
2026-07-12 13:53:57 +03:00
2026-07-12 23:49:04 +03:00
2026-07-12 11:02:27 +03:00
2026-07-12 01:31:03 +03:00
2026-05-02 01:41:17 +01:00
2026-05-02 01:41:17 +01:00
2026-05-03 23:03:24 +01:00