我正在尝试 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>
你有什么建议吗?
谢谢, 斯泰尼奥