Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings
This repository was archived by the owner on Aug 26, 2022. It is now read-only.
/PSharpPublic archive

Commitce2e507

Browse files
authored
updated version to 1.6.5 (#445)
1 parent911d1ad commitce2e507

File tree

6 files changed

+17
-11
lines changed

6 files changed

+17
-11
lines changed

‎Common/version.props‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<!-- This file may be overwritten by automation. Only values allowed here are VersionPrefix and VersionSuffix.-->
22
<Project>
33
<PropertyGroup>
4-
<VersionPrefix>1.6.4</VersionPrefix>
4+
<VersionPrefix>1.6.5</VersionPrefix>
55
<VersionSuffix></VersionSuffix>
66
</PropertyGroup>
77
</Project>

‎Samples/Framework/build.props‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,6 @@
1212
<OutputPath>..\bin\</OutputPath>
1313
</PropertyGroup>
1414
<ItemGroup>
15-
<PackageReferenceInclude="Microsoft.PSharp"Version="1.6.4" />
15+
<PackageReferenceInclude="Microsoft.PSharp"Version="1.6.5" />
1616
</ItemGroup>
1717
</Project>

‎Samples/Language/build.props‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,6 @@
1010
<OutputPath>..\bin\</OutputPath>
1111
</PropertyGroup>
1212
<ItemGroup>
13-
<PackageReferenceInclude="Microsoft.PSharp"Version="1.6.4" />
13+
<PackageReferenceInclude="Microsoft.PSharp"Version="1.6.5" />
1414
</ItemGroup>
1515
</Project>

‎Scripts/NuGet/PSharp.nuspec‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,13 +2,13 @@
22
<package >
33
<metadata>
44
<id>Microsoft.PSharp</id>
5-
<version>1.6.4</version>
5+
<version>1.6.5</version>
66
<authors>Microsoft</authors>
77
<projectUrl>https://github.com/p-org/PSharp</projectUrl>
88
<licensetype="expression">MIT</license>
99
<requireLicenseAcceptance>false</requireLicenseAcceptance>
1010
<description>P# is a framework for rapid development of reliable asynchronous software.</description>
11-
<releaseNotes>This release contains the 1.6.4 version of the P# framework.</releaseNotes>
11+
<releaseNotes>This release contains the 1.6.5 version of the P# framework.</releaseNotes>
1212
<copyright>© Microsoft Corporation. All rights reserved.</copyright>
1313
<tags>asynchrony reliability specifications reactive state-machines testing</tags>
1414
</metadata>

‎Tests/TestingServices.Tests/Runtime/CreateMachineWithIdTest.cs‎

Lines changed: 10 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@
44
// ------------------------------------------------------------------------------------------------
55

66
usingSystem;
7+
usingSystem.Threading.Tasks;
78
usingXunit;
89
usingXunit.Abstractions;
910

@@ -227,15 +228,20 @@ public void TestCreateMachineWithId6()
227228
{
228229
this.TestWithError(r=>
229230
{
230-
varm=r.CreateMachine(typeof(M2));
231+
boolisEventDropped=false;
232+
r.OnEventDropped+=(Evente,MachineIdtarget)=>
233+
{
234+
isEventDropped=true;
235+
};
231236

232-
// Make sure that the machine halts
233-
for(inti=0;i<100;i++)
237+
varm=r.CreateMachine(typeof(M2));
238+
while(!isEventDropped)
234239
{
240+
// Make sure the machine halts before trying to reuse its id.
235241
r.SendEvent(m,newHalt());
236242
}
237243

238-
//trying to bring up a halted machine
244+
//Trying to bring up a halted machine.
239245
r.CreateMachine(m,typeof(M2));
240246
},
241247
expectedError:"MachineId '' of a previously halted machine cannot be reused to create a new machine of type 'M2'");

‎Tools/Visualization/TraceViewer/Properties/AssemblyInfo.cs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -52,5 +52,5 @@
5252
// You can specify all the values or you can default the Build and Revision Numbers
5353
// by using the '*' as shown below:
5454
// [assembly: AssemblyVersion("1.0.*")]
55-
[assembly:AssemblyVersion("1.6.4.0")]
56-
[assembly:AssemblyFileVersion("1.6.4.0")]
55+
[assembly:AssemblyVersion("1.6.5.0")]
56+
[assembly:AssemblyFileVersion("1.6.5.0")]

0 commit comments

Comments
 (0)
[8]ページ先頭
©2009-2025 Movatter.jp