Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
bank_account_example_in_jahob [2007/05/14 12:36] vkuncak |
bank_account_example_in_jahob [2008/03/18 14:17] vkuncak |
||
---|---|---|---|
Line 6: | Line 6: | ||
The command to verify this example is | The command to verify this example is | ||
- | ../../bin/jahob.opt Account.java -class Account -sastvc -usedp cvcl | + | ../../bin/jahob.opt Account.java -class Account -usedp cvcl |
- | and requires an SMT-LIB solver under the name 'cvcl' to be installed to work. | + | and requires an SMT-LIB solver under the name 'cvcl' to be installed to work (download[[http://www.cs.nyu.edu/acsys/cvc3/|CVC3]] and create a symlink to that executable). |
<code java> | <code java> |