increased version to 1.7.2 (#438)

.config/dotnet-tools.json

@@ -21,7 +21,7 @@
       ]
     },
     "microsoft.coyote.cli": {
-      "version": "1.7.1",
+      "version": "1.7.2",
       "commands": [
         "coyote"
       ]

Common/version.props

@@ -2,7 +2,7 @@
 <!-- This file may be overwritten by automation. Only values allowed here are VersionPrefix and VersionSuffix. -->
 <Project>
   <PropertyGroup>
-    <VersionPrefix>1.7.1</VersionPrefix>
+    <VersionPrefix>1.7.2</VersionPrefix>
     <VersionSuffix></VersionSuffix>
   </PropertyGroup>
 </Project>

History.md

@@ -1,3 +1,19 @@
+## v1.7.2
+- Added support for fully controlling the `SemaphoreSlim` type during testing.
+- Added support for detecting the `System.Guid` and `System.DateTime` APIs as sources of
+  uncontrolled data non-determinism during testing.
+- Added the `Configuration.WithPartiallyControlledDataNondeterminismAllowed` API (and
+  `--partial-control <MODE>` CLI option) for configuring how uncontrolled data non-determinism
+  should be handled during testing.
+- Added the `Configuration.WithScheduleCoverageReported` API (and `--schedule-coverage` CLI option)
+  for dumping coverage statistics and stack traces for scheduling decisions.
+- Added the `Specification.RegisterStateHashingFunction` API for registering custom program state
+  hashing functions, which can be used to compute an approximation of the program state during
+  testing, as well as reporting it in the test statistics.
+- Improved replay traces by registering the scheduling point type alongside each scheduling
+  decision.
+- Fixed missing `net462` dependency in the `Microsoft.Coyote.Tool` NuGet package.
+
 ## v1.7.1
 - Added support for operation grouping for `Task` continuations.
 - Added support for the delay-bounding exploration strategy.

Tests/compare-rewriting-diff-logs.ps1

@@ -13,11 +13,11 @@ $targets = [ordered]@{
 }
 
 $expected_hashes = [ordered]@{
-    "rewriting" = "4B9469E84838C96B211721BC185CE0DC32B0204D54F321AABDCE5ADA87C6CFE1"
-    "rewriting-helpers" = "BDCB46D3D22EEF15D95BC1F4C043AB16DADFF6009624E3B188C998878134330A"
-    "testing" = "47B2A380AB858785A8D564EE0020E0E4C0851919BD642134F58ADCF67EC06289"
-    "actors" = "4D3D4DABE6D6FBDB2E486FC7F468C8765F6E4C67D60F459EFCA2D76478C14313"
-    "actors-testing" = "F6D777DCFBA46FDFF34D7049F16C8B540ED73B143DE28519CBC40C5E15365272"
+    "rewriting" = "B92E9E4014815733CC634B9F4F86359C2112B8293629FA67321059AB8D3CBE92"
+    "rewriting-helpers" = "F355C7286FC8F9AD4E4FC030C90B4E2E5AE605E471994A60DAC07227AD8B0191"
+    "testing" = "BD3105726FAE08511856B6CCD1A3C20101116F5443686687FD50007A3D9CB7D5"
+    "actors" = "0E61202FE4FBAB38ABC0092590E89B83F0746DF8E54AE397C933021E5CB30DB0"
+    "actors-testing" = "EAAE0631B9A0781240325AD5DDAF367134FAC90032AEE490E8C656E13560844D"
 }
 
 Write-Comment -prefix "." -text "Comparing the test rewriting diff logs" -color "yellow"