Hello Leo,
Were you ever able to get a the above ? It is possible to show this with some changes in SMT mappings and using the hierchary filter option on the worklist.
Hello Leo,
Were you ever able to get a the above ? It is possible to show this with some changes in SMT mappings and using the hierchary filter option on the worklist.