  Determining projects to restore...
  All projects are up-to-date for restore.
  PropDemo -> /work/PropDemo/bin/Debug/net8.0/PropDemo.dll
Test run for /work/PropDemo/bin/Debug/net8.0/PropDemo.dll (.NETCoreApp,Version=v8.0)
Starting test execution, please wait...
A total of 1 test files matched the specified pattern.
  Passed PropDemo.LedgerProperties.Plain_example [2 ms]
  Failed PropDemo.LedgerProperties.Balance_is_never_negative [41 ms]
  Error Message:
   FsCheck.Xunit.PropertyFailedException :
Falsifiable, after 4 tests (3 shrinks) (StdGen (1373461917,297323817)):
Original:
5
-9
Shrunk:
0
-1

  Stack Trace:
     at FsCheck.Runner.check[a](Config config, a p)
     at FsCheck.Xunit.PropertyTestCase.RunAsync(...)
  Failed PropDemo.LedgerProperties.Transfer_keeps_the_total [12 ms]
  Error Message:
   FsCheck.Xunit.PropertyFailedException :
Falsifiable, after 1 test (0 shrinks) (StdGen (204118745,297323818)):
Original:
(3, "")
with exception:
System.ArgumentException: Value does not fall within the expected range.

  Stack Trace:
     at FsCheck.Runner.check[a](Config config, a p)

Failed!  - Failed:     2, Passed:     1, Skipped:     0, Total:     3, Duration: 61 ms - PropDemo.dll (net8.0)
