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.
In IFV to run a single assertion, use the "assertion -delete" command to move all of the assertions to inactive. Then use the "assertion -add" to enable the particular assertion you want to test. Then use the "prove" command to get your results.