More projects to net8.0.

Author: kurtschelfthout

build.fsx

@@ -149,9 +149,6 @@ let releaseNotesFile = "FsCheck Release Notes.md"
 /// Solution or project files to be built during the building process
 let solution = "FsCheck.sln"
 
-/// Pattern specifying assemblies to be tested
-let testAssemblies = "tests/**/bin/Release/net6.0/*.Test.dll"
-
 // Git configuration (used for publishing documentation in gh-pages branch)
 // The profile where the project is posted
 let gitOwner = "fscheck"

examples/FsCheck.MsTest.Examples/FsCheck.MsTest.Examples.csproj

@@ -2,7 +2,7 @@
 <Project Sdk="Microsoft.NET.Sdk">
     <PropertyGroup>
         <AssemblyName>FsCheck.MsTest.Examples</AssemblyName>
-        <TargetFramework>net6.0</TargetFramework>
+        <TargetFramework>net8.0</TargetFramework>
         <PlatformTarget>AnyCPU</PlatformTarget>
         <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
         <WarningLevel>3</WarningLevel>

examples/FsCheck.NUnit.CSharpExamples/FsCheck.NUnit.CSharpExamples.csproj

@@ -2,7 +2,7 @@
 <Project Sdk="Microsoft.NET.Sdk">
     <PropertyGroup>
         <AssemblyName>FsCheck.NUnit.CSharpExamples</AssemblyName>
-        <TargetFramework>net6.0</TargetFramework>
+        <TargetFramework>net8.0</TargetFramework>
         <PlatformTarget>AnyCPU</PlatformTarget>
         <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
         <WarningLevel>3</WarningLevel>

examples/FsCheck.NUnit.Examples/FsCheck.NUnit.Examples.fsproj

@@ -2,7 +2,7 @@
 <Project Sdk="Microsoft.NET.Sdk">
     <PropertyGroup>
         <AssemblyName>FsCheck.NUnit.Examples</AssemblyName>
-        <TargetFramework>net6.0</TargetFramework>
+        <TargetFramework>net8.0</TargetFramework>
         <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
         <IsPackable>false</IsPackable>
     </PropertyGroup>

examples/FsCheck.NUnit.Examples/SyncVersusAsyncExamples.fs

@@ -7,22 +7,22 @@ module SyncVersusAsyncExamples =
     let private doSomethingAsync () = async { return () }
 
     [<Property>]
-    let ``Sync - should pass`` b =
+    let ``Sync - should pass`` (b: bool) =
         b = b |> Prop.label "b = b"
 
     [<Property>]
-    let ``Sync - should fail`` b =
+    let ``Sync - should fail`` (b: bool) =
         b = not b |> Prop.label "b = not b"
 
     [<Property>]
-    let ``Async - should pass`` b =
+    let ``Async - should pass`` (b: bool) =
         async {
             do! doSomethingAsync ()
             return b = b |> Prop.label "b = b"
         }
 
     [<Property>]
-    let ``Async - should fail`` b =
+    let ``Async - should fail`` (b : bool) =
         async {
             do! doSomethingAsync ()
             return b = not b |> Prop.label "b = not b"

examples/FsCheck.XUnit.CSharpExamples/FsCheck.XUnit.CSharpExamples.csproj

@@ -2,7 +2,7 @@
 <Project Sdk="Microsoft.NET.Sdk">
     <PropertyGroup>
         <AssemblyName>FsCheck.Xunit.CSharpExamples</AssemblyName>
-        <TargetFramework>net6.0</TargetFramework>
+        <TargetFramework>net8.0</TargetFramework>
         <PlatformTarget>AnyCPU</PlatformTarget>
         <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
         <WarningLevel>3</WarningLevel>

tests/FsCheck.Test.CSharp/FsCheck.Test.CSharp.csproj

@@ -1,7 +1,7 @@
 <Project Sdk="Microsoft.NET.Sdk">
 
     <PropertyGroup>
-        <TargetFramework>net6.0</TargetFramework>
+        <TargetFramework>net8.0</TargetFramework>
         <LangVersion>10</LangVersion>
         <IsPackable>false</IsPackable>
     </PropertyGroup>