Skip to content
Snippets Groups Projects
Commit 1b09fe6a authored by Johannes Mey's avatar Johannes Mey
Browse files

Merge branch 'master' of git-st.inf.tu-dresden.de:stgroup/ttc18

parents 065133ad 9cd4486d
No related branches found
No related tags found
No related merge requests found
......@@ -32,7 +32,7 @@ test_benchmark:
script:
- docker pull $CONTAINER_TEST_IMAGE
- docker run $CONTAINER_TEST_IMAGE /ttc18/gradlew benchmarkFull -Pscenario=0,small 2>&1 | tee benchmarkFull.log
- ! grep "BUILD FAILED" benchmarkFull.log
- grep "BUILD FAILED" benchmarkFull.log; test $? -eq 1
test_unit_tests:
stage: test
......
......@@ -56,7 +56,7 @@ RUN echo "glpkPath = /usr/lib/x86_64-linux-gnu/jni" > gradle.properties
#RUN sed -i '/jastadd-mquat-solver-emfer/d' settings.gradle
#RUN sed -i '/jastadd-mquat-solver-emfer/d' jastadd-mquat-benchmark/build.gradle
#RUN sed -i '/EMFeRSolver/d' jastadd-mquat-benchmark/src/main/java/de/tudresden/inf/st/mquat/benchmark/SolverFactory.java
RUN echo "test.enabled = false" > ./jastadd-mquat-solver-emfer/build.gradle
RUN echo "test.enabled = false" >> ./jastadd-mquat-solver-emfer/build.gradle
#RUN echo "test.enabled = false" > ./jastadd-mquat-solver-random/build.gradle
RUN sed -i 's/MINUTES/SECONDS/g' jastadd-mquat-benchmark/src/main/resources/scenarios.json
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment