☰
In test_generation
Modules
abstract_state
borrow_graph
bytecode_generator
config
control_flow_graph
error
summaries
transitions
Macros
function_instantiation_for_state
state_control_flow
state_create_struct
state_create_struct_from_inst
state_function_can_acquire_resource
state_local_availability_is
state_local_exists
state_local_has_ability
state_local_place
state_local_set
state_local_take
state_local_take_borrow
state_memory_safe
state_never
state_register_dereference
state_stack_bin_op
state_stack_function_call
state_stack_function_inst_call
state_stack_function_inst_popn
state_stack_function_popn
state_stack_has
state_stack_has_ability
state_stack_has_integer
state_stack_has_polymorphic_eq
state_stack_has_reference
state_stack_has_struct
state_stack_has_struct_inst
state_stack_is_castable
state_stack_local_polymorphic_eq
state_stack_pop
state_stack_push
state_stack_push_register
state_stack_push_register_borrow
state_stack_ref_polymorphic_eq
state_stack_satisfies_function_inst_signature
state_stack_satisfies_function_signature
state_stack_satisfies_struct_signature
state_stack_struct_borrow_field
state_stack_struct_borrow_field_inst
state_stack_struct_has_field
state_stack_struct_has_field_inst
state_stack_struct_inst_popn
state_stack_struct_popn
state_stack_unpack_struct
state_stack_unpack_struct_inst
state_struct_has_key
state_struct_inst_has_key
struct_instantiation_for_state
unpack_instantiation_for_state
with_ty_param
Enums
Status
Functions
abilities
bytecode_generation
module_frame_generation
run_generation
?
Macro
test_generation
::
state_stack_has_struct_inst
source
·
[
−
]
macro_rules!
state_stack_has_struct_inst { (
$e
: expr) => { ... }; }