From ec828d869e68ca2fefb86f6d9e3cf999cb47d0c3 Mon Sep 17 00:00:00 2001
From: Marco Eilers <marcoeilers@users.noreply.github.com>
Date: Mon, 4 Oct 2021 17:46:48 +0200
Subject: [PATCH] Update test.yml

---
 .github/workflows/test.yml | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index b8ebe942..e1a27290 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -13,18 +13,23 @@ jobs:
   build:
 
     runs-on: ubuntu-latest
-
+    env:
+      BOOGIE_EXE: "viper_tools/boogie/Binaries/Boogie"
     steps:
     - uses: actions/checkout@v2
     - name: Set up Python 3.8
       uses: actions/setup-python@v2
       with:
         python-version: 3.8
-    - name: Install dependencies
+    - name: Get Viper tools
+      run: |
+        curl https://github.com/viperproject/viper-ide/releases/download/v-2021-08-03-0738/ViperToolsLinux.zip -Lo ViperToolsLinux.zip
+        unzip ViperToolsLinux.zip -d viper_tools
+    - name: Install nagini
       run: |
         python -m pip install --upgrade pip
         pip install pytest
         pip install .
     - name: Test with pytest
       run: |
-        pytest src/nagini_translation/tests.py --silicon
+        pytest src/nagini_translation/tests.py --silicon --carbon