updated version to 1.7.3 (microsoft#441)

kzdev-net · Dec 14, 2022 · f50059a · f50059a
1 parent 0f700c0
commit f50059a
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 8 deletions.
diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
@@ -21,7 +21,7 @@
       ]
     },
     "microsoft.coyote.cli": {
-      "version": "1.7.2",
+      "version": "1.7.3",
       "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.2</VersionPrefix>
+    <VersionPrefix>1.7.3</VersionPrefix>
     <VersionSuffix></VersionSuffix>
   </PropertyGroup>
 </Project>
diff --git a/History.md b/History.md
@@ -1,4 +1,4 @@
-## vNext
+## v1.7.3
 - Added support for the `net7.0` target framework.
 
 ## v1.7.2

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" = "B92E9E4014815733CC634B9F4F86359C2112B8293629FA67321059AB8D3CBE92"
-    "rewriting-helpers" = "F355C7286FC8F9AD4E4FC030C90B4E2E5AE605E471994A60DAC07227AD8B0191"
-    "testing" = "BD3105726FAE08511856B6CCD1A3C20101116F5443686687FD50007A3D9CB7D5"
-    "actors" = "0E61202FE4FBAB38ABC0092590E89B83F0746DF8E54AE397C933021E5CB30DB0"
-    "actors-testing" = "EAAE0631B9A0781240325AD5DDAF367134FAC90032AEE490E8C656E13560844D"
+    "rewriting" = "04C2579293B61EEFC8C3D5D6E762D4AC89C006ADDBFBB83E293F2B3411A2CCD8"
+    "rewriting-helpers" = "273EB27559DFD824CB93F0CDE4F375C5A295DEF90B74A220CD921CD509C5F012"
+    "testing" = "67590790188A9BD8F50FC116A020588CC260E9052C501507D32AFC189E39D95A"
+    "actors" = "46EAB0644FB7516C32EC654CA54C239F62B192FEEC84AF0952FAEFEBBCC4AB3B"
+    "actors-testing" = "727E3D3AE49238E4DF6AC291F3E911EB6F42D3E543884819FB7E68E4BCE5DCC0"
 }
 
 Write-Comment -prefix "." -text "Comparing the test rewriting diff logs" -color "yellow"