Skip to content

Commit

Permalink
Fix to show the final seed instead of the original seed for fscheck3
Browse files Browse the repository at this point in the history
Using the original seed has the same problem

(cherry picked from commit e69fb64)
  • Loading branch information
rynoV committed Jan 6, 2025
1 parent 667b3b8 commit edbe859
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Expecto.FsCheck3/FsCheck3.fs
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@ module ExpectoFsCheck =
| TestResult.Failed (_,_,_, Outcome.Failed (:? IgnoreException as e),_,_,_) ->
raise e

| TestResult.Failed (data, original, shrunk, outcome,originalSeed,_finalSeed,size) ->
| TestResult.Failed (data, original, shrunk, outcome,_originalSeed,finalSeed,size) ->
let parameters =
original
|> List.map (sprintf "%A")
Expand All @@ -71,7 +71,7 @@ module ExpectoFsCheck =
(String.concat " " data.Labels)

let focus =
sprintf "Focus on error:\n\t%s (%A, %A, %A) \"%s\"" methodName originalSeed.Seed originalSeed.Gamma size name
sprintf "Focus on error:\n\t%s (%A, %A, %A) \"%s\"" methodName finalSeed.Seed finalSeed.Gamma size name

sprintf "Failed after %s. %s%s\nResult:\n\t%A\n%s%s%s"
(numTests data.NumberOfTests) parameters shrunk
Expand Down

0 comments on commit edbe859

Please sign in to comment.