Skip to content
Snippets Groups Projects
Commit 54bdf4b5 authored by René Schöne's avatar René Schöne Committed by Albert Zuendorf
Browse files

Update README.md (use HTTPS url to clone, stress verification of...

Update README.md (use HTTPS url to clone, stress verification of gradle.properties, removed link to new-issue)
parent df18cd58
No related branches found
No related tags found
No related merge requests found
...@@ -7,11 +7,11 @@ In order to get the case working, perform the following steps: ...@@ -7,11 +7,11 @@ In order to get the case working, perform the following steps:
- Install GLPK to get the reference implementation working (otherwise the test, and therefore build, will fail) - Install GLPK to get the reference implementation working (otherwise the test, and therefore build, will fail)
- Go to <https://www.gnu.org/software/glpk/> (Linux) or <http://winglpk.sourceforge.net/> (Windows) and follow the instructions - Go to <https://www.gnu.org/software/glpk/> (Linux) or <http://winglpk.sourceforge.net/> (Windows) and follow the instructions
- Tested with latest version `4.64` of GLPK - Tested with latest version `4.64` of GLPK
- Clone the repository: `git clone git@git-st.inf.tu-dresden.de:stgroup/ttc18.git && cd ttc18` - Clone the repository: `git clone https://git-st.inf.tu-dresden.de/stgroup/ttc18.git && cd ttc18`
- Verify, that the path to GLPK is correct in `gradle.properties` - Verify, that the path to GLPK is correct in `gradle.properties` (and change it, if necessary)
- Build it: `./gradlew build` (or `gradlew.bat build` on Windows) - Build it: `./gradlew build` (or `gradlew.bat build` on Windows)
- Run the benchmark: `./gradlew benchmarkFull` - Run the benchmark: `./gradlew benchmarkFull`
- As this might take long, running a set of scenarios is possible with `./gradlew benchmarkFull -Pscenario=0,small` (comma separated list of ids or names) - **As this might take long**, running a set of scenarios is possible with `./gradlew benchmarkFull -Pscenario=0,small` (comma separated list of ids and/or names)
- Alternatively, the timeout can be set to a smaller value in `jastadd-mquat-benchmark/src/main/resources/scenarios.json` - Alternatively, the timeout can be set to a smaller value in `jastadd-mquat-benchmark/src/main/resources/scenarios.json`
- Please do not alter the definition of the scenarios, instead use the [Custom Benchmark](#custom-benchmark) - Please do not alter the definition of the scenarios, instead use the [Custom Benchmark](#custom-benchmark)
...@@ -74,4 +74,4 @@ Refer to [`de.tudresden.inf.st.mquat.generator.ScenarioDescription`](https://git ...@@ -74,4 +74,4 @@ Refer to [`de.tudresden.inf.st.mquat.generator.ScenarioDescription`](https://git
- Please use the gradle wrapper script, as different version of Gradle might not work with the setup - Please use the gradle wrapper script, as different version of Gradle might not work with the setup
- The wrapper script uses version `3.3` - The wrapper script uses version `3.3`
- If anything is not working as expected, feel free to contact on of the authors of the TTC case or open an [issue](https://git-st.inf.tu-dresden.de/stgroup/ttc18/issues/new) - If anything is not working as expected, feel free to contact on of the authors of the TTC case
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment