You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Hello World<br />
yosyssmtbmc hello1.smt2<br />
## 0 0:00:00 Solver: z3<br />
## 0 0:00:00 Checking asserts in step 0..<br />
## 0 0:00:00 Checking asserts in step 1..<br />
…<br />
## 0 0:00:00 Checking asserts in step 18..<br />
## 0 0:00:00 Checking asserts in step 19..<br />
## 0 0:00:00 Status: PASSED<br />
yosyssmtbmc i hello1.smt2<br />
## 0 0:00:00 Solver: z3<br />
## 0 0:00:00 Trying induction in step 20..<br />
## 0 0:00:00 Trying induction in step 19..<br />
## 0 0:00:00 Trying induction in step 18..<br />
## 0 0:00:00 Trying induction in step 17..<br />
## 0 0:00:00 Trying induction in step 16..<br />
## 0 0:00:00 Trying induction in step 15..<br />
## 0 0:00:00 Temporal induction successful.<br />
## 0 0:00:00 Status: PASSED