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

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

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 6a8e0e64..f4c658e3 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -1,7 +1,7 @@
 # This workflow will install Python dependencies, run tests and lint with a single version of Python
 # For more information see: https://help.github.com/actions/language-and-framework-guides/using-python-with-github-actions
 
-name: Python application
+name: Nagini Tests Ubuntu
 
 on:
   push:
@@ -14,21 +14,22 @@ jobs:
 
     runs-on: ubuntu-latest
     env:
-      BOOGIE_EXE: "/usr/bin/boogie"
+      BOOGIE_EXE: "/home/runner/.dotnet/tools/boogie"
     steps:
     - uses: actions/checkout@v2
     - name: Set up Python 3.8
       uses: actions/setup-python@v2
       with:
         python-version: 3.8
-    - name: Install nagini
+    - name: Install Boogie
+      run: |
+        dotnet tool install --global Boogie --version 2.4.21
+    - name: Install Nagini
       run: |
         python -m pip install --upgrade pip
         pip install pytest
         pip install .
     - name: Test with pytest
       run: |
-        dotnet tool install --global Boogie --version 2.4.21
-        whereis boogie
         nagini --verifier=carbon tests/functional/verification/empty.py
         pytest src/nagini_translation/tests.py --silicon --carbon