increased version to 1.7.9 (#482)

.config/dotnet-tools.json

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

CITATION.cff

@@ -9,6 +9,6 @@ authors:
 - family-names: "Lal"
   given-names: "Akash"
 title: "Coyote"
-version: 1.7.8
+version: 1.7.9
 date-released: 2020-02-28
 url: "https://github.com/microsoft/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.8</VersionPrefix>
+    <VersionPrefix>1.7.9</VersionPrefix>
     <VersionSuffix></VersionSuffix>
   </PropertyGroup>
 </Project>

History.md

@@ -1,3 +1,11 @@
+## v1.7.9
+- Added the `Microsoft.Coyote.Rewriting.SkipRewriting` attribute that allows skipping the rewriting
+  of a user-specified type.
+- The `coyote` command line tool can now invoke non-static xUnit tests that have no parameters and
+  their declaring type has a constructor without parameters or only has the
+  `Xunit.Abstractions.ITestOutputHelper` as parameter.
+- Fixed a bug with not reporting correctly actor coverage.
+
 ## v1.7.8
 - Added rewriting support for fine-grained race-checking at memory-access and control-flow branching
   locations. Race-checking at memory-access locations can be enabled during testing by setting the

Tests/compare-rewriting-diff-logs.ps1

@@ -13,11 +13,11 @@ $targets = [ordered]@{
 }
 
 $expected_hashes = [ordered]@{
-    "rewriting" = "77A92FFF9AF56B818CD5B4D2E8A9CE942DAAC99DB782B51200EE75C59191CB2D"
+    "rewriting" = "BA74E117184BB5971098C06821603404C54BF0FA37EB393FCC2748FC7ABCB3E2"
-    "rewriting-helpers" = "DAA8156B3911954999DEB6FE30FFC9691F87FDDCEB8E14EC7B986D162F194BD5"
+    "rewriting-helpers" = "556A68FF0849371E8AFD7A5159B6D2C53F566917D5F9741FCD1BA89C5F8B67CC"
-    "testing" = "DCF1CDA6C818F68C7FAE8D5B145055FB44AE5FF890DF08806994BFB9492C7C98"
+    "testing" = "8AE199B7410928ED4378B42C7183A8B6730898C248486D79C430063EB2C101A2"
-    "actors" = "4CE8FB3275F49CA69B7E6AC5BF0046A97810F57A84A8D99C262ADDF0765D3189"
+    "actors" = "65E9E6270A12BF675150B31ABB2D5888DAC5CC71ECB8523DD1B4657EA14928CB"
-    "actors-testing" = "8D777E634DDF4000BE56F53E2BEA91C4A47D757F72799CA3773FD811D8F2A476"
+    "actors-testing" = "304E594DE7E0D95F73FC4569BCFD6CDC5F38C61AF2CBC7ED8646DC072004FAF3"
 }
 
 Write-Comment -prefix "." -text "Comparing the test rewriting diff logs" -color "yellow"