|  | @ -40,11 +40,11 @@ jobs: | 
		
	
		
			
				|  |  |     # Stage: Build Carl |  |  |     # Stage: Build Carl | 
		
	
		
			
				|  |  |     ### |  |  |     ### | 
		
	
		
			
				|  |  | 
 |  |  | 
 | 
		
	
		
			
				|  |  |     # ubuntu-17.10 - DefaultDebugTravis |  |  |  | 
		
	
		
			
				|  |  |  |  |  |     # ubuntu-18.04 - DefaultDebugTravis | 
		
	
		
			
				|  |  |     - stage: Build Carl |  |  |     - stage: Build Carl | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       compiler: gcc |  |  |       compiler: gcc | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultDebugTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultDebugTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |       install: |  |  |       install: | 
		
	
		
			
				|  |  |         - travis/install_linux.sh |  |  |         - travis/install_linux.sh | 
		
	
		
			
				|  |  |       script: |  |  |       script: | 
		
	
	
		
			
				|  | @ -53,11 +53,11 @@ jobs: | 
		
	
		
			
				|  |  |         - docker login -u "$DOCKER_USERNAME" -p "$DOCKER_PASSWORD"; |  |  |         - docker login -u "$DOCKER_USERNAME" -p "$DOCKER_PASSWORD"; | 
		
	
		
			
				|  |  |         - docker commit carl movesrwth/carl:travis-debug; |  |  |         - docker commit carl movesrwth/carl:travis-debug; | 
		
	
		
			
				|  |  |         - docker push movesrwth/carl:travis-debug; |  |  |         - docker push movesrwth/carl:travis-debug; | 
		
	
		
			
				|  |  |     # ubuntu-17.10 - DefaultReleaseTravis |  |  |  | 
		
	
		
			
				|  |  |  |  |  |     # ubuntu-18.04 - DefaultReleaseTravis | 
		
	
		
			
				|  |  |     - stage: Build Carl |  |  |     - stage: Build Carl | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       compiler: gcc |  |  |       compiler: gcc | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |       install: |  |  |       install: | 
		
	
		
			
				|  |  |         - travis/install_linux.sh |  |  |         - travis/install_linux.sh | 
		
	
		
			
				|  |  |       script: |  |  |       script: | 
		
	
	
		
			
				|  | @ -99,11 +99,11 @@ jobs: | 
		
	
		
			
				|  |  |         - docker cp storm:/opt/storm/. . |  |  |         - docker cp storm:/opt/storm/. . | 
		
	
		
			
				|  |  |       after_failure: |  |  |       after_failure: | 
		
	
		
			
				|  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; |  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; | 
		
	
		
			
				|  |  |     # ubuntu-17.10 - DefaultDebugTravis |  |  |  | 
		
	
		
			
				|  |  |  |  |  |     # ubuntu-18.04 - DefaultDebugTravis | 
		
	
		
			
				|  |  |     - stage: Build (1st run) |  |  |     - stage: Build (1st run) | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       compiler: gcc |  |  |       compiler: gcc | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultDebugTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultDebugTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |       install: |  |  |       install: | 
		
	
		
			
				|  |  |         - rm -rf build |  |  |         - rm -rf build | 
		
	
		
			
				|  |  |         - travis/install_linux.sh |  |  |         - travis/install_linux.sh | 
		
	
	
		
			
				|  | @ -113,11 +113,11 @@ jobs: | 
		
	
		
			
				|  |  |         - docker cp storm:/opt/storm/. . |  |  |         - docker cp storm:/opt/storm/. . | 
		
	
		
			
				|  |  |       after_failure: |  |  |       after_failure: | 
		
	
		
			
				|  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; |  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; | 
		
	
		
			
				|  |  |     # ubuntu-17.10 - DefaultReleaseTravis |  |  |  | 
		
	
		
			
				|  |  |  |  |  |     # ubuntu-18.04 - DefaultReleaseTravis | 
		
	
		
			
				|  |  |     - stage: Build (1st run) |  |  |     - stage: Build (1st run) | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       compiler: gcc |  |  |       compiler: gcc | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |       install: |  |  |       install: | 
		
	
		
			
				|  |  |         - rm -rf build |  |  |         - rm -rf build | 
		
	
		
			
				|  |  |         - travis/install_linux.sh |  |  |         - travis/install_linux.sh | 
		
	
	
		
			
				|  | @ -186,11 +186,11 @@ jobs: | 
		
	
		
			
				|  |  |         - docker cp storm:/opt/storm/. . |  |  |         - docker cp storm:/opt/storm/. . | 
		
	
		
			
				|  |  |       after_failure: |  |  |       after_failure: | 
		
	
		
			
				|  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; |  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; | 
		
	
		
			
				|  |  |     # ubuntu-17.10 - DefaultDebugTravis |  |  |  | 
		
	
		
			
				|  |  |  |  |  |     # ubuntu-18.04 - DefaultDebugTravis | 
		
	
		
			
				|  |  |     - stage: Build (2nd run) |  |  |     - stage: Build (2nd run) | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       compiler: gcc |  |  |       compiler: gcc | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultDebugTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultDebugTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |       install: |  |  |       install: | 
		
	
		
			
				|  |  |         - travis/install_linux.sh |  |  |         - travis/install_linux.sh | 
		
	
		
			
				|  |  |       script: |  |  |       script: | 
		
	
	
		
			
				|  | @ -199,11 +199,11 @@ jobs: | 
		
	
		
			
				|  |  |         - docker cp storm:/opt/storm/. . |  |  |         - docker cp storm:/opt/storm/. . | 
		
	
		
			
				|  |  |       after_failure: |  |  |       after_failure: | 
		
	
		
			
				|  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; |  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; | 
		
	
		
			
				|  |  |     # ubuntu-17.10 - DefaultReleaseTravis |  |  |  | 
		
	
		
			
				|  |  |  |  |  |     # ubuntu-18.04 - DefaultReleaseTravis | 
		
	
		
			
				|  |  |     - stage: Build (2nd run) |  |  |     - stage: Build (2nd run) | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       compiler: gcc |  |  |       compiler: gcc | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |       install: |  |  |       install: | 
		
	
		
			
				|  |  |         - travis/install_linux.sh |  |  |         - travis/install_linux.sh | 
		
	
		
			
				|  |  |       script: |  |  |       script: | 
		
	
	
		
			
				|  | @ -269,11 +269,11 @@ jobs: | 
		
	
		
			
				|  |  |         - docker cp storm:/opt/storm/. . |  |  |         - docker cp storm:/opt/storm/. . | 
		
	
		
			
				|  |  |       after_failure: |  |  |       after_failure: | 
		
	
		
			
				|  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; |  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; | 
		
	
		
			
				|  |  |     # ubuntu-17.10 - DefaultDebugTravis |  |  |  | 
		
	
		
			
				|  |  |  |  |  |     # ubuntu-18.04 - DefaultDebugTravis | 
		
	
		
			
				|  |  |     - stage: Build (3rd run) |  |  |     - stage: Build (3rd run) | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       compiler: gcc |  |  |       compiler: gcc | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultDebugTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultDebugTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |       install: |  |  |       install: | 
		
	
		
			
				|  |  |         - travis/install_linux.sh |  |  |         - travis/install_linux.sh | 
		
	
		
			
				|  |  |       script: |  |  |       script: | 
		
	
	
		
			
				|  | @ -282,11 +282,11 @@ jobs: | 
		
	
		
			
				|  |  |         - docker cp storm:/opt/storm/. . |  |  |         - docker cp storm:/opt/storm/. . | 
		
	
		
			
				|  |  |       after_failure: |  |  |       after_failure: | 
		
	
		
			
				|  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; |  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; | 
		
	
		
			
				|  |  |     # ubuntu-17.10 - DefaultReleaseTravis |  |  |  | 
		
	
		
			
				|  |  |  |  |  |     # ubuntu-18.04 - DefaultReleaseTravis | 
		
	
		
			
				|  |  |     - stage: Build (3rd run) |  |  |     - stage: Build (3rd run) | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       compiler: gcc |  |  |       compiler: gcc | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |       install: |  |  |       install: | 
		
	
		
			
				|  |  |         - travis/install_linux.sh |  |  |         - travis/install_linux.sh | 
		
	
		
			
				|  |  |       script: |  |  |       script: | 
		
	
	
		
			
				|  | @ -352,11 +352,11 @@ jobs: | 
		
	
		
			
				|  |  |         - docker cp storm:/opt/storm/. . |  |  |         - docker cp storm:/opt/storm/. . | 
		
	
		
			
				|  |  |       after_failure: |  |  |       after_failure: | 
		
	
		
			
				|  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; |  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; | 
		
	
		
			
				|  |  |     # ubuntu-17.10 - DefaultDebugTravis |  |  |  | 
		
	
		
			
				|  |  |  |  |  |     # ubuntu-18.04 - DefaultDebugTravis | 
		
	
		
			
				|  |  |     - stage: Build (4th run) |  |  |     - stage: Build (4th run) | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       compiler: gcc |  |  |       compiler: gcc | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultDebugTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultDebugTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |       install: |  |  |       install: | 
		
	
		
			
				|  |  |         - travis/install_linux.sh |  |  |         - travis/install_linux.sh | 
		
	
		
			
				|  |  |       script: |  |  |       script: | 
		
	
	
		
			
				|  | @ -365,11 +365,11 @@ jobs: | 
		
	
		
			
				|  |  |         - docker cp storm:/opt/storm/. . |  |  |         - docker cp storm:/opt/storm/. . | 
		
	
		
			
				|  |  |       after_failure: |  |  |       after_failure: | 
		
	
		
			
				|  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; |  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; | 
		
	
		
			
				|  |  |     # ubuntu-17.10 - DefaultReleaseTravis |  |  |  | 
		
	
		
			
				|  |  |  |  |  |     # ubuntu-18.04 - DefaultReleaseTravis | 
		
	
		
			
				|  |  |     - stage: Build (4th run) |  |  |     - stage: Build (4th run) | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       compiler: gcc |  |  |       compiler: gcc | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |       install: |  |  |       install: | 
		
	
		
			
				|  |  |         - travis/install_linux.sh |  |  |         - travis/install_linux.sh | 
		
	
		
			
				|  |  |       script: |  |  |       script: | 
		
	
	
		
			
				|  | @ -435,11 +435,11 @@ jobs: | 
		
	
		
			
				|  |  |         - docker cp storm:/opt/storm/. . |  |  |         - docker cp storm:/opt/storm/. . | 
		
	
		
			
				|  |  |       after_failure: |  |  |       after_failure: | 
		
	
		
			
				|  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; |  |  |         - find build -iname '*err*.log' -type f -print -exec cat {} \; | 
		
	
		
			
				|  |  |     # ubuntu-17.10 - DefaultDebugTravis |  |  |  | 
		
	
		
			
				|  |  |  |  |  |     # ubuntu-18.04 - DefaultDebugTravis | 
		
	
		
			
				|  |  |     - stage: Test all |  |  |     - stage: Test all | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       compiler: gcc |  |  |       compiler: gcc | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultDebugTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultDebugTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |       install: |  |  |       install: | 
		
	
		
			
				|  |  |         - travis/install_linux.sh |  |  |         - travis/install_linux.sh | 
		
	
		
			
				|  |  |       script: |  |  |       script: | 
		
	
	
		
			
				|  | @ -452,11 +452,11 @@ jobs: | 
		
	
		
			
				|  |  |         - docker login -u "$DOCKER_USERNAME" -p "$DOCKER_PASSWORD"; |  |  |         - docker login -u "$DOCKER_USERNAME" -p "$DOCKER_PASSWORD"; | 
		
	
		
			
				|  |  |         - docker commit storm movesrwth/storm:travis-debug; |  |  |         - docker commit storm movesrwth/storm:travis-debug; | 
		
	
		
			
				|  |  |         - docker push movesrwth/storm:travis-debug; |  |  |         - docker push movesrwth/storm:travis-debug; | 
		
	
		
			
				|  |  |     # ubuntu-17.10 - DefaultReleaseTravis |  |  |  | 
		
	
		
			
				|  |  |  |  |  |     # ubuntu-18.04 - DefaultReleaseTravis | 
		
	
		
			
				|  |  |     - stage: Test all |  |  |     - stage: Test all | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       compiler: gcc |  |  |       compiler: gcc | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |       install: |  |  |       install: | 
		
	
		
			
				|  |  |         - travis/install_linux.sh |  |  |         - travis/install_linux.sh | 
		
	
		
			
				|  |  |       script: |  |  |       script: | 
		
	
	
		
			
				|  | @ -498,17 +498,17 @@ jobs: | 
		
	
		
			
				|  |  |   allow_failures: |  |  |   allow_failures: | 
		
	
		
			
				|  |  |     - stage: Build (1st run) |  |  |     - stage: Build (1st run) | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |     - stage: Build (2nd run) |  |  |     - stage: Build (2nd run) | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |     - stage: Build (3rd run) |  |  |     - stage: Build (3rd run) | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |     - stage: Build (4th run) |  |  |     - stage: Build (4th run) | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  |     - stage: Test all |  |  |     - stage: Test all | 
		
	
		
			
				|  |  |       os: linux |  |  |       os: linux | 
		
	
		
			
				|  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-17.10 COMPILER=gcc |  |  |  | 
		
	
		
			
				|  |  |  |  |  |       env: CONFIG=DefaultReleaseTravis LINUX=ubuntu-18.04 COMPILER=gcc | 
		
	
		
			
				|  |  | 
 |  |  | 
 |