enable disabled test (#312)

.gitattributes

@@ -2,10 +2,9 @@
 * text=auto
 
 # Custom for Visual Studio
-*.cs    text diff=csharp
-
-*.csproj   text
-*.sln      eol=crlf
+*.cs      text diff=csharp
+*.csproj  text
+*.sln     eol=crlf
 
 # Standard to msysgit
 *.doc   diff=astextplain
@@ -22,6 +21,9 @@
 # Ignored paths for language reporting
 *.md linguist-vendored
 *.ps1 linguist-vendored
+*.psm1 linguist-vendored
+*.json linguist-vendored
+*.yml linguist-vendored
 *.ipynb linguist-vendored
 docs/* linguist-vendored
 Samples/* linguist-vendored

README.md

@@ -7,17 +7,18 @@
 ![Build and Test CI](https://github.com/microsoft/coyote/actions/workflows/test-coyote.yml/badge.svg?branch=main)
 ![CodeQL](https://github.com/microsoft/coyote/actions/workflows/codeql-analysis.yml/badge.svg?branch=main)
 
-Coyote is a .NET library and tool designed to help ensure that your code is free of concurrency bugs.
+Coyote is a testing library and tool that helps ensure that your C# code is free of annoying
+concurrency bugs.
 
 It gives you the ability to reliably *unit test the concurrency* and other sources of nondeterminism
 (such as message re-orderings, timeouts and failures) in your C# code. In the heart of Coyote is a
 scheduler that takes control (via binary rewriting) of your program's execution during testing and
 is able to systematically explore the concurrency and nondeterminism to find safety and liveness
-bugs. The awesome thing is that once Coyote finds a bug it gives you the ability to fully *reproduce*
-it as many times as you want, making debugging and fixing the issue much easier.
+bugs. The awesome thing is that once Coyote finds a bug it gives you the ability to fully
+*reproduce* it as many times as you want, making debugging and fixing the issue much easier.
 
-Coyote is used by several teams in [Azure](https://azure.microsoft.com/) to systematically test
-their distributed systems and services, finding hundreds of bugs before they manifest in
+Coyote is used by several teams in [Azure](https://azure.microsoft.com/) to test their distributed
+systems and services, finding hundreds of concurrency-related bugs before they manifest in
 production. In the words of an Azure service architect:
 > Coyote found several issues early in the dev process, this sort of issues that would usually bleed
 > through into production and become very expensive to fix later.

Tests/Tests.BugFinding/Specifications/PollingTaskLivenessTests.cs

@@ -89,7 +89,7 @@ public void TestPollingTaskLivenessPropertyWithDoubleDelay()
             configuration: this.GetConfiguration().WithTestingIterations(10));
         }
 
-        [Fact(Timeout = 5000, Skip = "Buggy on Ubuntu.")]
+        [Fact(Timeout = 5000)]
         public void TestPollingTaskLivenessPropertyFailure()
         {
             this.TestWithError(async () =>