Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
bank_account_example_in_jahob [2007/05/14 12:36]
vkuncak
bank_account_example_in_jahob [2008/03/18 14:17] (current)
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 (download[[http://​www.cs.nyu.edu/​acsys/​cvc3/​|CVC3]] and create a symlink to that executable). 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).
  
 
bank_account_example_in_jahob.txt · Last modified: 2008/03/18 14:17 by vkuncak
 
© EPFL 2018 - Legal notice