- Make a directory. We later refer this directory as
Change directory to
$AOTES_HOMEand clone the following projects
Open eclipse and import all projects in
You can find some subjects used to evaluate AOTES at the following projects:
More information can be found at http://moon.nju.edu.cn/dse/aotes/.
If you set up everything successfully,
you can checkout the options specified in