☰
In move_model::pragmas
Constants
ABORTS_IF_IS_PARTIAL_PRAGMA
ABORTS_IF_IS_STRICT_PRAGMA
ADDITION_OVERFLOW_UNCHECKED_PRAGMA
ALWAYS_ABORTS_TEST_PRAGMA
ASSUME_NO_ABORT_FROM_HERE_PRAGMA
CONDITION_ABORT_ASSERT_PROP
CONDITION_ABORT_ASSUME_PROP
CONDITION_ABSTRACT_PROP
CONDITION_CHECK_ABORT_CODES_PROP
CONDITION_CONCRETE_PROP
CONDITION_DEACTIVATED_PROP
CONDITION_EXPORT_PROP
CONDITION_GLOBAL_PROP
CONDITION_INJECTED_PROP
CONDITION_ISOLATED_PROP
CONDITION_SUSPENDABLE_PROP
DELEGATE_INVARIANTS_TO_CALLER_PRAGMA
DISABLE_INVARIANTS_IN_BODY_PRAGMA
EMITS_IS_PARTIAL_PRAGMA
EMITS_IS_STRICT_PRAGMA
EXPORT_ENSURES_PRAGMA
FRIEND_PRAGMA
INTRINSIC_PRAGMA
OPAQUE_PRAGMA
REQUIRES_IF_ABORTS_PRAGMA
SEED_PRAGMA
TIMEOUT_PRAGMA
VERIFY_DURATION_ESTIMATE_PRAGMA
VERIFY_PRAGMA
Functions
is_pragma_valid_for_block
is_property_valid_for_condition
?
Constant
move_model
::
pragmas
::
TIMEOUT_PRAGMA
source
·
[
−
]
pub const TIMEOUT_PRAGMA: &
str
= "timeout";
Expand description
Pragma defining a timeout.