From e62789f9605105f6cabbcd3d6f0789f638b21183 Mon Sep 17 00:00:00 2001 From: Akos Hajdu Date: Wed, 9 Sep 2020 18:05:28 +0200 Subject: [PATCH] Upgrade to Theta v2.3 --- .travis.yml | 2 +- Dockerfile | 2 +- README.md | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.travis.yml b/.travis.yml index a69a2a49..16d36928 100644 --- a/.travis.yml +++ b/.travis.yml @@ -17,7 +17,7 @@ addons: - python3-setuptools - python3-psutil env: -- THETA_VERSION="v2.2.0" +- THETA_VERSION="v2.3.0" script: # fetch LLVM and other dependencies - wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add - diff --git a/Dockerfile b/Dockerfile index b9ee7fe9..f70600f7 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,6 +1,6 @@ FROM ubuntu:18.04 -ENV THETA_VERSION v2.2.0 +ENV THETA_VERSION v2.3.0 RUN apt-get update && \ apt-get install -y build-essential git cmake \ diff --git a/README.md b/README.md index 061dbf91..e1775747 100644 --- a/README.md +++ b/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.2.0](https://github.com/ftsrg/theta/releases/tag/v2.2.0) is tested, but newer releases might also work. + * Currently, [v2.3.0](https://github.com/ftsrg/theta/releases/tag/v2.3.0) is tested, but newer releases might also work. * `gazer-bmc` is gazer's built-in bounded model checking engine. # Usage