Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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