In reply to hisingh:
By default, vacuous success does not count as an assertion “pass”.
Use $assertpasson(), $assertcontrol(6,31,7), or a tool command line option that turns vacuous success into an assertion pass.
In reply to hisingh:
By default, vacuous success does not count as an assertion “pass”.
Use $assertpasson(), $assertcontrol(6,31,7), or a tool command line option that turns vacuous success into an assertion pass.