updated version to 1.7.5 (#462)

microsoft · Mar 10, 2023 · e3152ee · e3152ee
1 parent e646369
commit e3152ee
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 7 deletions.
diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
@@ -21,7 +21,7 @@
  ]
  },
  "microsoft.coyote.cli": {
- "version": "1.7.4",
+ "version": "1.7.5",
  "commands": [
  "coyote"
  ]

diff --git a/Common/version.props b/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.4</VersionPrefix>
+ <VersionPrefix>1.7.5</VersionPrefix>
  <VersionSuffix></VersionSuffix>
  </PropertyGroup>
 </Project>
diff --git a/History.md b/History.md
@@ -1,3 +1,10 @@
+## v1.7.5
+- Added support for controlling user-created `Thread` instances during testing.
+- Added support for controlling `WaitHandle` and related APIs during testing.
+- Added the `ActorTestKit` class for unit-testing actors and state machines in isolation.
+- Disabled the automated fallback to randomized fuzzing during testing, if systematic testing fails.
+- Fixed a bug in bug trace reporting.
+
 ## v1.7.4
 - Added support for visualizing traces from testing task-based programs in DGML format.
 - Implemented various runtime optimizations for more efficient coverage during testing.

diff --git a/Tests/compare-rewriting-diff-logs.ps1 b/Tests/compare-rewriting-diff-logs.ps1
@@ -13,11 +13,11 @@ $targets = [ordered]@{
 }
 
 $expected_hashes = [ordered]@{
- "rewriting" = "9CDCDDA7575191FE993F3E7B86239CC96E2E391D0FC3F2A15F2C208B6D521AB9"
- "rewriting-helpers" = "50B8E9646941A6CEEDEAC92B36B185980FBF6224C60C9219B6CA87A31D4E5646"
- "testing" = "DAD417C671CA1BA0383B4522D1876B45892CF1F38B0759FBCEB6630BF987E8E5"
- "actors" = "A2BE559EE6614C86852841A7431C4A553F8992A557B4BA6A6370A6526816C569"
- "actors-testing" = "711A8597FB8E8836DC1D73940C5A84FA3C95B09C05B6F9194EA314F73CD04038"
+ "rewriting" = "6A223520CE91200E5D435A06B4DCF04D8909AD8A62D065485E4AB3997ED2ED7E"
+ "rewriting-helpers" = "7717E08A34F2D2642452BFA9203C2EAB51B6652B75779DF5DBEAC915EA63331C"
+ "testing" = "2882AA9B990B8592AAE9DDE4FB3E23AFD14F6FCE726DBD0DA5395F1BB754F99C"
+ "actors" = "5B6F1C4CC232801B551F75D6D809C22FD0AB09EBD20C78F8C5EC82022CD60E96"
+ "actors-testing" = "E44E2E6DFEC676EA5CA377C8549F1232D3FCC40EC650F7F8622F5418CA6E323A"
 }
 
 Write-Comment -prefix "." -text "Comparing the test rewriting diff logs" -color "yellow"