Create README.md

gerwinjansen · Sep 21, 2023 · cdd5e33 · cdd5e33
1 parent 529ec77
commit cdd5e33
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -0,0 +1,11 @@
+Reproduction for dotnet-coverage error
+```
+Microsoft (R) Code Coverage Command Line Tool (x64)
+Copyright (c) Microsoft Corporation. All rights reserved.
+
+SessionId: fca0b6d5-ad57-4d74-911e-8fda976495d4
+terminate called after throwing an instance of 'PAL_SEHException'
+No code coverage data available. Profiler was not initialized. Verify that glibc (>=2.27), libxml2 and all .NET dependencies are installed.
+Code coverage results: coverage.xml.
+Error: Process completed with exit code 139.
+```