Debug
AnyCPU
{AC9B21AE-EBC1-4A27-AD11-ED031FC7B4A2}
Exe
Properties
DafnyServer
DafnyServer
v4.5
512
Microsoft.Dafny.Server
true
full
false
..\..\Binaries\
DEBUG;TRACE
prompt
4
AnyCPU
pdbonly
true
..\..\Binaries\
TRACE
prompt
4
true
..\..\Binaries\
DEBUG;TRACE
full
AnyCPU
prompt
AllRules.ruleset
false
True
False
True
False
False
False
False
False
False
False
False
True
False
False
False
False
Full
Build
0
..\..\..\boogie\Binaries\Core.dll
..\..\..\boogie\Binaries\ExecutionEngine.dll
..\..\..\boogie\Binaries\ParserHelper.dll
..\..\..\boogie\Binaries\Provers.SMTLib.dll
{fe44674a-1633-4917-99f4-57635e6fa740}
DafnyPipeline