# This properties file is intended for configuring Nikolai, 
# our worker for all tests. If the environment of Nikolai is
# changed, then this file need to be updated accordingly.
root=/opt/vsl
workspace=/Users/${user.name}/Documents/workspace
hamcrest.jar=${root}/lib/hamcrest-core-1.3.jar
jacoco.jar=${root}/src/jacoco/lib/jacocoant.jar
junit.jar=${root}/lib/junit-4.11.jar
abc.jar=${workspace}/ABC/abc.jar
gmc.jar=${workspace}/GMC/gmc.jar
sarl.jar=${workspace}/SARL/sarl.jar