UReqCheck usage problem

[IridescentL]

Is there any way to only check the rt-consistency and get the corresponding time consumption with UReqCheck? That is to say, skip all other analysis procedure and keep only the rt-consistency check, and get its running time. Need your help! Thanks!

[danieldietsch]

Hi @IridescentL, I am unsure what you are trying to do. Do you want to disable vacuity and consistency checks?

If you just want to compare speeds, you might want to start without the wrapper script.