infverif.exe does not work (WDK_10.0.14393.795)

Hi,

I need to use infverif.exe for windows 10, but there’s no way that I get other output than the help.
Also copying all files together and using it according to the example at https://docs.microsoft.com/en-us/windows-hardware/drivers/devtest/running-infverif-from-the-command-line
infverif.exe /w test1.inf test2.inf
does not show another output.
It seems to me this tool is currently broken or the documentation is completely wrong.

Can someone please check this and clarify?

Thanks,
Matthias