From cdd5e339cbc09821f993f870fa39ff0f6d1f04ca Mon Sep 17 00:00:00 2001
From: Gerwin Jansen <13243946+gerwinjansen@users.noreply.github.com>
Date: Thu, 21 Sep 2023 17:05:11 +0200
Subject: [PATCH] Create README.md

---
 README.md | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..7798600
--- /dev/null
+++ 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.
+```