Move to dotnet8

boogie-org · Feb 11, 2025 · 775dbf2 · 775dbf2
1 parent c1b83b6
commit 775dbf2
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/test-lean-auto.yml b/.github/workflows/test-lean-auto.yml
@@ -17,7 +17,7 @@ jobs:
       - name: Setup dotnet
         uses: actions/setup-dotnet@v3
         with:
-          dotnet-version: '6.0.x'
+          dotnet-version: '8.0.x'
       - name: Setup Z3
         uses: cda-tum/setup-z3@v1
         with:

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -24,9 +24,9 @@ jobs:
         lit_param: ["batch_mode=True", "batch_mode=False"]
     steps:
       - name: Setup dotnet
-        uses: actions/setup-dotnet@v3
+        uses: actions/setup-dotnet@v4
         with:
-          dotnet-version: '6.0.x'
+          dotnet-version: '8.0.x'
       - name: Checkout Boogie
         uses: actions/checkout@v3
         with:

diff --git a/Source/Directory.Build.props b/Source/Directory.Build.props
@@ -3,7 +3,7 @@
   <!-- Target framework and package configuration -->
   <PropertyGroup>
     <Version>3.4.4</Version>
-    <TargetFramework>net6.0</TargetFramework>
+    <TargetFramework>net8.0</TargetFramework>
     <GeneratePackageOnBuild>false</GeneratePackageOnBuild>
     <Authors>Boogie</Authors>
     <RepositoryUrl>https://github.com/boogie-org/boogie</RepositoryUrl>

diff --git a/Test/lean-auto/test.sh b/Test/lean-auto/test.sh
@@ -5,5 +5,5 @@ set -e
 boogie_file=$1
 base=`basename $boogie_file .bpl`
 lean_file="$base.lean"
-dotnet ../../Source/BoogieDriver/bin/Debug/net6.0/BoogieDriver.dll /prune:1 /printLean:$lean_file $boogie_file
+dotnet ../../Source/BoogieDriver/bin/Debug/net8.0/BoogieDriver.dll /prune:1 /printLean:$lean_file $boogie_file
 lake env lean $lean_file
diff --git a/Test/lit.site.cfg b/Test/lit.site.cfg
@@ -78,7 +78,7 @@ repositoryRoot = up(up(os.path.abspath(__file__)))
 lit_config.note('Repository root is {}'.format(repositoryRoot))
 
 configuration = lit_config.params.get('configuration', 'Debug')
-framework = lit_config.params.get('framework', 'net6.0')
+framework = lit_config.params.get('framework', 'net8.0')
 
 boogieBinary = 'Source/BoogieDriver/bin/{}/{}/BoogieDriver.dll'.format(configuration, framework)
 runtime = 'dotnet'