- 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
If you set up everything successfully,
you can run tests in every sub project whose name ends with
aotes-icse17-subjects in eclipse with a standard JVM.
The test will print the synthesized sequence of method invocations.
Building and installing Javelus is not easy in windows.
So, we have not provided the guide here.
You can refer to this link.