1

我正在尝试 CHESS 来帮助我避免我在程序中遇到的一些竞争条件。我想尝试使用 BankAccount 示例进行 mchess,但出现以下错误:

C:\Program Files (x86)\Microsoft Research\CHESS\Resources\Samples\Managed\BankAccount>ChessTest.exe
True

C:\Program Files (x86)\Microsoft Research\CHESS\Resources\Samples\Managed\BankAccount>mchess ChessTest.exe
ManagedCHESS. Copyright (C) Microsoft Corporation, 2008.
Analyzing ChessTest.exe  ...

Process is terminated due to StackOverflowException.

C:\Program Files (x86)\Microsoft Research\CHESS\Resources\Samples\Managed\BankAccount>

你有什么建议吗?

谢谢, 斯泰尼奥

4

1 回答 1

0

该问题在以后的版本中得到解决。无论如何都没有二进制下载。

源代码链接

问候, 斯泰尼奥

于 2013-05-02T13:57:00.553 回答