main
| Line | |
|---|
| 1 | # This properties file is intended for configuring vsl,
|
|---|
| 2 | # our server for all tests. If the environment of vsl is
|
|---|
| 3 | # changed, then this file need to be updated accordingly.
|
|---|
| 4 | root=/opt/vsl
|
|---|
| 5 | workspace=/usa/svn/work
|
|---|
| 6 | hamcrest.jar=${root}/lib/hamcrest-core.jar
|
|---|
| 7 | jacoco.jar=${root}/src/jacoco/lib/jacocoant.jar
|
|---|
| 8 | junit.jar=${root}/lib/junit.jar
|
|---|
| 9 | antlr.jar=${root}/lib/antlr-4.4-complete.jar
|
|---|
| 10 | antlr.runtime.jar=${root}/lib/antlr-runtime-4.4.jar
|
|---|
| 11 | abc.jar=${workspace}/abc/trunk/latest/abc.jar
|
|---|
| 12 | gmc.jar=${workspace}/gmc/trunk/latest/gmc.jar
|
|---|
| 13 | sarl.jar=${workspace}/sarl/trunk/latest/sarl.jar
|
|---|
| 14 | javaversion=11
|
|---|
| 15 | nthreads=4
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
