LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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>