test with coyote

[bruno-garcia]

SemaphoreSlim isn't rewritten yet: microsoft/coyote#163

. Testing bin/Debug/net5.0/Sentry.Coyote.Tests.dll
... Method EnqueueFlushAndDispose
... Started the testing task scheduler (process:93661).
... Created '1' testing task (process:93661).
... Task 0 is using 'random' strategy (seed:1693789794).
..... Iteration #1
... Task 0 found a bug.
... Emitting task 0 traces:
..... Writing bin/Debug/net5.0/Output/Sentry.Coyote.Tests.dll/CoyoteOutput/Sentry.Coyote.Tests_0_2.txt
..... Writing bin/Debug/net5.0/Output/Sentry.Coyote.Tests.dll/CoyoteOutput/Sentry.Coyote.Tests_0_2.schedule
... Elapsed 0.0714679 sec.
... Testing statistics:
..... Found 1 bug.
... Scheduling statistics:
..... Explored 1 schedule: 1 fair and 0 unfair.
..... Found 100.00% buggy schedules.
..... Number of scheduling points in fair terminating schedules: 0 (min), 0 (avg), 0 (max).
... Elapsed 0.150685 sec.

Log:

<TestLog> Running test 'Sentry.Coyote.Tests.BackgroundWorkerTests.EnqueueFlushAndDispose'.
<ErrorLog> Unhandled exception. System.NotSupportedException: Invoking 'System.Threading.SemaphoreSlim..ctor' is not intercepted and controlled during testing, so it can interfere with the ability to reproduce bug traces. As a workaround, you can use the '--no-repro' command line option to ignore this error by disabling bug trace repro. Learn more at http://aka.ms/coyote-no-repro.
   at Microsoft.Coyote.Runtime.ExceptionProvider.ThrowNotSupportedInvocationException(String methodName)
   at Sentry.Internal.Signal..ctor(Boolean isReleasedInitially)
   at Sentry.Internal.Http.CachingTransport..ctor(ITransport innerTransport, SentryOptions options)
   at Sentry.Coyote.Tests.BackgroundWorkerTests.EnqueueFlushAndDispose() in /Users/bruno/git/sentry-dotnet/test/Sentry.Coyote.Tests/BackgroundWorkerTests.cs:line 18
<StackTrace>    at System.Threading.Tasks.Task.InnerInvoke()
   at System.Threading.Tasks.Task.<>c.<.cctor>b__277_0(Object obj)
   at System.Threading.ExecutionContext.RunFromThreadPoolDispatchLoop(Thread threadPoolThread, ExecutionContext executionContext, ContextCallback callback, Object state)
   at System.Threading.Tasks.Task.ExecuteWithThreadLocal(Task& currentTaskSlot, Thread threadPoolThread)
   at System.Threading.Tasks.Task.ExecuteEntryUnsafe(Thread threadPoolThread)
   at System.Threading.Tasks.Task.ExecuteFromThreadPool(Thread threadPoolThread)
   at System.Threading.ThreadPoolWorkQueue.Dispatch()
   at System.Threading._ThreadPoolWaitCallback.PerformWaitCallback()


<StrategyLog> Found bug using 'random' strategy.
<StrategyLog> Testing statistics:
<StrategyLog> Found 1 bug.
<StrategyLog> Scheduling statistics:
<StrategyLog> Explored 1 schedule: 1 fair and 0 unfair.
<StrategyLog> Found 100.00% buggy schedules.
<StrategyLog> Number of scheduling points in fair terminating schedules: 0 (min), 0 (avg), 0 (max).%             

[codecov-commenter]

Codecov Report

Merging #1019 (c7799d0) into main (3a1e5cd) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #1019   +/-   ##
=======================================
  Coverage   81.42%   81.42%           
=======================================
  Files         190      190           
  Lines        5964     5964           
  Branches     1468     1468           
=======================================
  Hits         4856     4856           
  Misses        685      685           
  Partials      423      423           

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 3a1e5cd...c7799d0. Read the comment docs.

[SimonCropp]

@bruno-garcia given microsoft/coyote#163 is still not fixed. shall we close this ?