52
52
static const int s_CHECK_RANDOMLY = 12;
53
53
static const int s_CHECK_ASSERTIONS = 13; /* for description only! */
56
56
"no assertions", "preconditions", "postconditions", "invariants",
57
57
"pre- and post-conditions", "preconditions and invariants",
58
58
"postconditions and invariants", "all assertions", "",
59
59
"always", "periodically", "timing", "randomly", "all frequencies",
62
66
/****************************************************************************
63
67
* SIDL Assertion static support methods
64
68
****************************************************************************/