updated version to 1.6.5 (#445)

Author: pdeligia

Common/version.props

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

Samples/Framework/build.props

@@ -12,6 +12,6 @@
     <OutputPath>..\bin\</OutputPath>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.PSharp" Version="1.6.4" />
+    <PackageReference Include="Microsoft.PSharp" Version="1.6.5" />
   </ItemGroup>
 </Project>

Samples/Language/build.props

@@ -10,6 +10,6 @@
     <OutputPath>..\bin\</OutputPath>
   </PropertyGroup>
   <ItemGroup>
-    <PackageReference Include="Microsoft.PSharp" Version="1.6.4" />
+    <PackageReference Include="Microsoft.PSharp" Version="1.6.5" />
   </ItemGroup>
 </Project>

Scripts/NuGet/PSharp.nuspec

@@ -2,13 +2,13 @@
 <package >
   <metadata>
     <id>Microsoft.PSharp</id>
-    <version>1.6.4</version>
+    <version>1.6.5</version>
     <authors>Microsoft</authors>
     <projectUrl>https://github.com/p-org/PSharp</projectUrl>
     <license type="expression">MIT</license>
     <requireLicenseAcceptance>false</requireLicenseAcceptance>
     <description>P# is a framework for rapid development of reliable asynchronous software.</description>
-    <releaseNotes>This release contains the 1.6.4 version of the P# framework.</releaseNotes>
+    <releaseNotes>This release contains the 1.6.5 version of the P# framework.</releaseNotes>
     <copyright>© Microsoft Corporation. All rights reserved.</copyright>
     <tags>asynchrony reliability specifications reactive state-machines testing</tags>
   </metadata>

Tests/TestingServices.Tests/Runtime/CreateMachineWithIdTest.cs

@@ -4,6 +4,7 @@
 // ------------------------------------------------------------------------------------------------
 
 using System;
+using System.Threading.Tasks;
 using Xunit;
 using Xunit.Abstractions;
 
@@ -227,15 +228,20 @@ public void TestCreateMachineWithId6()
         {
             this.TestWithError(r =>
             {
-                var m = r.CreateMachine(typeof(M2));
+                bool isEventDropped = false;
+                r.OnEventDropped += (Event e, MachineId target) =>
+                {
+                    isEventDropped = true;
+                };
 
-                // Make sure that the machine halts
-                for (int i = 0; i < 100; i++)
+                var m = r.CreateMachine(typeof(M2));
+                while (!isEventDropped)
                 {
+                    // Make sure the machine halts before trying to reuse its id.
                     r.SendEvent(m, new Halt());
                 }
 
-                // trying to bring up a halted machine
+                // Trying to bring up a halted machine.
                 r.CreateMachine(m, typeof(M2));
             },
             expectedError: "MachineId '' of a previously halted machine cannot be reused to create a new machine of type 'M2'");

Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs

@@ -52,5 +52,5 @@
 // You can specify all the values or you can default the Build and Revision Numbers
 // by using the '*' as shown below:
 // [assembly: AssemblyVersion("1.0.*")]
-[assembly: AssemblyVersion("1.6.4.0")]
-[assembly: AssemblyFileVersion("1.6.4.0")]
+[assembly: AssemblyVersion("1.6.5.0")]
+[assembly: AssemblyFileVersion("1.6.5.0")]