Add *diffblue-builder* tests to dobi and travis.

Author: Vlastimil Zeman

.travis.yml

@@ -28,8 +28,9 @@ before_install:
 # Build cbmc-builder and try to build & test cbmc in it. Run in parallel for
 # each distro.
 env:
-  - DISTRO="alpine"
-  - DISTRO="ubuntu"
+  - IMAGE="alpine"
+  - IMAGE="ubuntu"
+  - IMAGE="alpine-diffblue-builder"
 
 script:
-  - BUILDER_TAG=$(git describe) ./dobi ${DISTRO}-test
+  - BUILDER_TAG=$(git describe) ./dobi ${IMAGE}-test

dobi.yaml

@@ -14,6 +14,10 @@ mount=source:
     bind: ./cbmc/
     path: /src/cbmc/
 
+mount=test-java:
+    bind: ./test/java/
+    path: /test-java/
+
 ## Alpine Mounts
 
 mount=alpine-tmp:
@@ -57,6 +61,13 @@ image=alpine-distro:
       - 'alpine'
       - 'alpine-{env.BUILDER_TAG}'
 
+image=alpine-diffblue-builder:
+    image: diffblue/diffblue-builder
+    dockerfile: alpine/Dockerfile.diffblue-builder
+    tags:
+      - 'alpine'
+      - 'alpine-{env.BUILDER_TAG}'
+
 ## Ubuntu Images
 
 image=ubuntu-builder:
@@ -128,6 +139,12 @@ job=alpine-clean:
     command: "bash -c \"rm -rf /tmp/projects/* && rm -rf /dist/*\""
     description: "Delete temporary files and binaries"
 
+job=alpine-diffblue-builder-test:
+    use: alpine-diffblue-builder
+    mounts: [test-java]
+    command: "bash -c \"cd /test-java && mvn compile && ant compile\""
+    description: "Test basic funcionality"
+
 ## Ubuntu Jobs
 
 job=ubuntu-copy-src: