1/2
@oe1cxw If possible, I think it will be really helpful if a VCD is generated when BMC and induction checks are passed.
-
Show this thread
-
2/2 Will be more helpful in understanding how the checks are getting passed
2 replies 0 retweets 0 likesShow this thread
Replying to @adityabpawar5
The VCD for which trace? PASS means *all* possible traces have passed. Also: the trace for the complete proof (+induct) is infinitely long.
11:22 PM - 19 Oct 2017
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.