Hi
Iam doing XCheck property checking.Now instead of running all the properties,I want to run only one XCheck property in IFV .
How to prove single XCheck assertion.
Hi
Iam doing XCheck property checking.Now instead of running all the properties,I want to run only one XCheck property in IFV .
How to prove single XCheck assertion.