upgrade to .NET 6.0 (boogie-org#470)

Co-authored-by: Remy Willems <[email protected]>
atomb · Dec 14, 2021 · 35cc032 · 35cc032
1 parent 91ec795
commit 35cc032
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -24,7 +24,7 @@ jobs:
       - name: Setup dotnet
         uses: actions/setup-dotnet@v1
         with:
-          dotnet-version: '5.0.x'
+          dotnet-version: '6.0.x'
       - name: Checkout Boogie
         uses: actions/checkout@v2
         with:

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

diff --git a/Test/lit.site.cfg b/Test/lit.site.cfg
@@ -78,13 +78,13 @@ 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', 'net5.0')
+framework = lit_config.params.get('framework', 'net6.0')
 
 boogieBinary = 'Source/BoogieDriver/bin/{}/{}/BoogieDriver.dll'.format(configuration, framework)
 runtime = 'dotnet'
 
 boogieExecutable = os.path.join(repositoryRoot, boogieBinary)
-        
+
 if not os.path.exists(boogieExecutable):
     lit_config.fatal('Could not find Boogie executable at {}'.format(boogieExecutable))
 if runtime and lit.util.which(runtime) == None:

diff --git a/dotnet-tools.json b/dotnet-tools.json
@@ -3,7 +3,7 @@
   "isRoot": true,
   "tools": {
     "cocor": {
-      "version": "2014.12.23",
+      "version": "2014.12.24",
       "commands": [
         "coco"
       ]