Update ikos version to 3.0

Dockerfile

@@ -2,23 +2,23 @@
 # BUILD STAGE
 #------------------------------#
 
-FROM ubuntu:19.04 AS base
+FROM ubuntu:19.10 AS base
 
 ARG njobs=2
 ARG build_type=Release
-ARG IKOS_VERSION=v2.2
+ARG IKOS_VERSION=v3.0
 
 WORKDIR /root/ikos
 
 # Upgrade
 RUN apt-get update -y \
- && echo "deb http://apt.llvm.org/disco/ llvm-toolchain-disco-8 main" >> /etc/apt/sources.list \
+ && echo "deb http://apt.llvm.org/disco/ llvm-toolchain-disco-9 main" >> /etc/apt/sources.list \
  && apt-get install -y wget gnupg \
  && wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | apt-key add - \
  && apt-get update -y \
- && apt-get install -y gcc g++ cmake libgmp-dev libboost-dev \
-        libboost-filesystem-dev libboost-test-dev python python-pygments \
-        libsqlite3-dev libz-dev libedit-dev llvm-8 llvm-8-dev llvm-8-tools clang-8 \
+ && apt-get install -y gcc g++ cmake libgmp-dev libboost-dev libtbb-dev \
+        libboost-filesystem-dev libboost-test-dev libboost-thread-dev python python-pygments \
+        libsqlite3-dev libz-dev libedit-dev llvm-9 llvm-9-dev llvm-9-tools clang-9 \
         git \
  && git clone --single-branch https://github.com/NASA-SW-VnV/ikos.git . \
  && git checkout tags/${IKOS_VERSION} \
@@ -30,7 +30,7 @@ ENV MAKEFLAGS "-j$njobs"
 RUN cmake \
         -DCMAKE_INSTALL_PREFIX="/opt/ikos" \
         -DCMAKE_BUILD_TYPE="$build_type" \
-        -DLLVM_CONFIG_EXECUTABLE="/usr/lib/llvm-8/bin/llvm-config" \
+        -DLLVM_CONFIG_EXECUTABLE="/usr/lib/llvm-9/bin/llvm-config" \
         .. \
  && make \
  && make install \
@@ -40,13 +40,13 @@ RUN cmake \
 # FINAL STAGE
 #------------------------------#
 
-FROM ubuntu:19.04
+FROM ubuntu:19.10
 
 COPY --from=base /opt/ikos /opt/ikos
 
 RUN apt-get update -y && apt-get install -y \
     python \
-    clang-8 \
+    clang-9 \
     libboost-filesystem-dev \
     libgmp-dev \
  && rm -rf /var/lib/apt/lists/*

README.md

@@ -15,8 +15,9 @@ Here is the versions matrix of the image:
 
 |                          TAG                           |                       IKOS VERSION                       |                        BASE IMAGE                      |
 |:------------------------------------------------------:|:------------------------------------------------------------:|:------------------------------------------------------:|
-| [latest](https://hub.docker.com/r/facthunder/ikos) | [2.2](https://github.com/NASA-SW-VnV/ikos/releases/tag/v2.2) | [ubuntu:19.04](https://hub.docker.com/_/ubuntu) |
-|  [2.2](https://hub.docker.com/r/facthunder/ikos)  | [2.2](https://github.com/NASA-SW-VnV/ikos/releases/tag/v2.2) | [ubuntu:19.04](https://hub.docker.com/_/ubuntu) |
+|   [latest](https://hub.docker.com/r/facthunder/ikos)   | [3.0](https://github.com/NASA-SW-VnV/ikos/releases/tag/v3.0) | [ubuntu:19.10](https://hub.docker.com/_/ubuntu) |
+|    [3.0](https://hub.docker.com/r/facthunder/ikos)     | [3.0](https://github.com/NASA-SW-VnV/ikos/releases/tag/v3.0) | [ubuntu:19.10](https://hub.docker.com/_/ubuntu) |
+|    [2.2](https://hub.docker.com/r/facthunder/ikos)     | [2.2](https://github.com/NASA-SW-VnV/ikos/releases/tag/v2.2) | [ubuntu:19.04](https://hub.docker.com/_/ubuntu) |
 
 
 ### How to contribute
@@ -25,6 +26,6 @@ If you experienced a problem with the plugin please open an issue. Inside this i
 If you want to do a PR, please put inside of it the reason of this pull request. If this pull request fix an issue please insert the number of the issue or explain inside of the PR how to reproduce this issue.
 
 ### License
-Copyright 2019 Facthunder.
+Copyright 2020 Facthunder.
 
 Licensed under the [GNU General Public License, Version 3.0](https://www.gnu.org/licenses/gpl.txt)