blob: ba4b786d141f0b8f402d9dd151c6333255ae7f76 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// PkgCmdID.cs
// MUST match PkgCmdID.h
using System;
namespace DafnyLanguage.DafnyMenu
{
static class PkgCmdIDList
{
public const uint cmdidCompile = 0x100;
public const uint cmdidRunVerifier = 0x101;
public const uint cmdidStopVerifier = 0x102;
public const uint cmdidMenu = 0x1021;
public static uint cmdidToggleSnapshotVerification = 0x103;
public const uint cmdidToggleBVD = 0x104;
public static uint cmdidToggleMoreAdvancedSnapshotVerification = 0x105;
public static uint cmdidToggleAutomaticInduction = 0x106;
public static uint cmdidDiagnoseTimeouts = 0x107;
};
}
|