Update to Hedgehog.Experimental v0.4.0

hedgehogqa · Feb 7, 2021 · eccad94 · eccad94
1 parent 0429451
commit eccad94
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 6 deletions.
diff --git a/src/Hedgehog.Xunit/Hedgehog.Xunit.fsproj b/src/Hedgehog.Xunit/Hedgehog.Xunit.fsproj
@@ -1,4 +1,4 @@
-<Project Sdk="Microsoft.NET.Sdk">
+<Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
     <IsPackable>true</IsPackable>
@@ -27,7 +27,7 @@ Docs at https://github.com/dharmaturtle/fsharp-hedgehog-xunit
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="Hedgehog.Experimental" Version="0.3.0" />
+    <PackageReference Include="Hedgehog.Experimental" Version="0.4.0" />
     <PackageReference Include="xunit" Version="2.4.1" />
     <PackageReference Include="xunit.abstractions" Version="2.0.3" />
   </ItemGroup>

diff --git a/src/Hedgehog.Xunit/InternalLogic.fs b/src/Hedgehog.Xunit/InternalLogic.fs
@@ -132,4 +132,7 @@ let report (testMethod:MethodInfo) testClass testClassInstance =
       |> toProperty
     finally
       List.iter dispose args
-  Property.forAll gens invoke |> Property.report' tests
+  let config =
+    PropertyConfig.defaultConfig
+    |> PropertyConfig.withTests tests
+  Property.forAll invoke gens |> Property.reportWith config
diff --git a/tests/Hedgehog.Xunit.Tests/PropertyTests.fs b/tests/Hedgehog.Xunit.Tests/PropertyTests.fs
@@ -20,7 +20,7 @@ module ``Property module tests`` =
     let report = InternalLogic.report (getMethod methodName) typeof<Marker>.DeclaringType null
     match report.Status with
     | Status.Failed r ->
-      Assert.Equal(expected, Journal.toList r.Journal |> Seq.head)
+      Assert.Equal(expected, r.Journal |> Journal.eval |> Seq.head)
     | _ -> failwith "impossible"
 
   [<Property(Skip = skipReason)>]
@@ -50,7 +50,7 @@ module ``Property module tests`` =
     let report = InternalLogic.report (nameof ``Result with Error reports exception with Error value, skipped`` |> getMethod) typeof<Marker>.DeclaringType null
     match report.Status with
     | Status.Failed r ->
-      let errorMessage = r.Journal |> Journal.toList |> Seq.skip 1 |> Seq.exactlyOne
+      let errorMessage = r.Journal |> Journal.eval |> Seq.skip 1 |> Seq.exactlyOne
       Assert.Contains("System.Exception: Result is in the Error case with the following value:\r\n\"Too many digits!\"", errorMessage)
     | _ -> failwith "impossible"
 
@@ -321,7 +321,7 @@ module ``Asynchronous tests`` =
     let report = InternalLogic.report (getMethod methodName) typeof<Marker>.DeclaringType null
     match report.Status with
     | Status.Failed r ->
-      Assert.Equal(expected, Journal.toList r.Journal |> Seq.head)
+      Assert.Equal(expected, r.Journal |> Journal.eval |> Seq.head)
     | _ -> failwith "impossible"
 
   open System.Threading.Tasks