From fad70bd04b00e1b6309d205752e7ed127f61f388 Mon Sep 17 00:00:00 2001 From: AN Date: Mon, 10 Jul 2023 14:24:40 -0500 Subject: [PATCH] sans whoops --- readmeCSharp.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/readmeCSharp.md b/readmeCSharp.md index 585ae9d..40584ce 100644 --- a/readmeCSharp.md +++ b/readmeCSharp.md @@ -128,11 +128,11 @@ public async Task Task_with_exception_shrinks(int i) } ``` ``` -System.Exception: *** Failed! Falsifiable (after 14 tests and 1 shrink): +System.Exception: *** Failed! Falsifiable (after 14 tests and 2 shrinks): [11] System.Reflection.TargetInvocationException: Exception has been thrown by the target of an invocation. - ---> System.AggregateException: One or more errors occurred. (whoops) - ---> System.Exception: whoops + ---> System.AggregateException: One or more errors occurred. (Exception of type 'System.Exception' was thrown.) + ---> System.Exception: Exception of type 'System.Exception' was thrown. ``` A test returning an [`FSharp.Core.Result`](https://fsharp.github.io/fsharp-core-docs/reference/fsharp-core-resultmodule.html) in an `Error` state will be treated as a failure.