ui_test ignores too many tests with "only" condition

[RalfJung]

I just noticed this when running ./miri test on my machine (and it also happens on CI):

tests/pass/linux-getrandom.rs ... ignored (in-test comment)
tests/pass/linux-getrandom-without-isolation.rs ... ignored (in-test comment)

That does not sound right, those tests should run on my Linux system.

[RalfJung]

I think this is caused by

miri/ui_test/src/lib.rs

Line 533 in 8269da2

if get_pointer_width(target) != s {

here s is "linux", and of course get_pointer_width(target) does not return "linux"...

[RalfJung]

#2209 is a hotfix for this.

I think a proper fix would involve syntactically distinguishing "filter on target" from "filter on bitwidth".