Merge pull request #95 from ftsrg/theta-v2.10

Update to Theta v2.10.0

.github/workflows/build.yml

@@ -7,6 +7,8 @@ jobs:
     runs-on: ubuntu-20.04
     steps:
     - uses: actions/checkout@v2
+    - name: Update apt
+      run: sudo apt-get update
     - name: Set up dependencies
       run: sudo apt-get install build-essential cmake wget lsb-release software-properties-common zlib1g-dev openjdk-11-jre python3 python3-pip python3-setuptools python3-psutil
     - name: Set up some more dependencies
@@ -28,7 +30,7 @@ jobs:
         wget "https://github.com/ftsrg/theta/raw/$THETA_VERSION/lib/libz3.so" -P tools/gazer-theta/theta/lib/
         wget "https://github.com/ftsrg/theta/raw/$THETA_VERSION/lib/libz3java.so" -P tools/gazer-theta/theta/lib/
       env:
-        THETA_VERSION: v2.8.0
+        THETA_VERSION: v2.10.0
     - name: Run unit tests
       run: make check-unit
     - name: Run functional tests

CMakeLists.txt

@@ -10,7 +10,7 @@ if(NOT DEFINED GAZER_VERSION_MINOR)
   set(GAZER_VERSION_MINOR 4)
 endif()
 if(NOT DEFINED GAZER_VERSION_PATCH)
-  set(GAZER_VERSION_PATCH 2)
+  set(GAZER_VERSION_PATCH 3)
 endif()
 if(NOT DEFINED GAZER_VERSION_SUFFIX)
   set(GAZER_VERSION_SUFFIX "")

Dockerfile

@@ -1,6 +1,6 @@
 FROM ubuntu:18.04
 
-ENV THETA_VERSION v2.8.0
+ENV THETA_VERSION v2.10.0
 
 RUN apt-get update && \
     apt-get install -y build-essential git cmake \

README.md

@@ -5,7 +5,7 @@ It provides a user-friendly end-to-end verification workflow, with support for m
 
 Currently we support two verification backends:
 * `gazer-theta` leverages the power of the [theta](https://github.com/ftsrg/theta) model checking framework.
-  * Currently, [v2.8.0](https://github.com/ftsrg/theta/releases/tag/v2.8.0) is tested, but newer releases might also work.
+  * Currently, [v2.10.0](https://github.com/ftsrg/theta/releases/tag/v2.10.0) is tested, but newer releases might also work.
 * `gazer-bmc` is gazer's built-in bounded model checking engine.
 
 Furthermore, it is also possible to run multiple backends with different options as a portfolio.