From f50059afd6ffbe47852f0ece7c9f96bcf1739ec3 Mon Sep 17 00:00:00 2001
From: Pantazis Deligiannis <pdeligia@microsoft.com>
Date: Wed, 14 Dec 2022 12:41:25 -0800
Subject: [PATCH] updated version to 1.7.3 (#441)

---
 .config/dotnet-tools.json             |  2 +-
 Common/version.props                  |  2 +-
 History.md                            |  2 +-
 Tests/compare-rewriting-diff-logs.ps1 | 10 +++++-----
 4 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
index 8a14ddec5..feb179544 100644
--- 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
index b8228e9b5..bbec6f96e 100644
--- 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
index 50dde1619..09d5816e2 100644
--- 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
index 59ad54eaf..5772af09b 100644
--- 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"