Index of /src/bytecode-verifier-transactional-tests-0.3.2/tests/type_safety/
../
phantom_params/ 14-Apr-2024 09:12 -
assign_local_resource.exp 29-Nov-1973 21:33 318
assign_local_resource.mvir 29-Nov-1973 21:33 278
assign_local_resource_twice.exp 29-Nov-1973 21:33 318
assign_local_resource_twice.mvir 29-Nov-1973 21:33 367
assign_resource_type.exp 29-Nov-1973 21:33 318
assign_resource_type.mvir 29-Nov-1973 21:33 364
assign_wrong_type.exp 29-Nov-1973 21:33 246
assign_wrong_type.mvir 29-Nov-1973 21:33 94
boolean_not_non_boolean.exp 29-Nov-1973 21:33 251
boolean_not_non_boolean.mvir 29-Nov-1973 21:33 112
cant_deref_resource.exp 29-Nov-1973 21:33 325
cant_deref_resource.mvir 29-Nov-1973 21:33 1056
casting_operators_types_mismatch.exp 29-Nov-1973 21:33 2340
casting_operators_types_mismatch.mvir 29-Nov-1973 21:33 834
deref_non_reference.exp 29-Nov-1973 21:33 248
deref_non_reference.mvir 29-Nov-1973 21:33 124
deref_not_reference_bad.exp 29-Nov-1973 21:33 251
deref_not_reference_bad.mvir 29-Nov-1973 21:33 126
destroy_resource_holder.exp 29-Nov-1973 21:33 79
destroy_resource_holder.mvir 29-Nov-1973 21:33 580
equality_one_ref.exp 29-Nov-1973 21:33 253
equality_one_ref.mvir 29-Nov-1973 21:33 170
equality_resource_refs.exp 29-Nov-1973 21:33 18
equality_resource_refs.mvir 29-Nov-1973 21:33 448
equality_resource_values.exp 29-Nov-1973 21:33 327
equality_resource_values.mvir 29-Nov-1973 21:33 208
freeze_makes_imm.exp 29-Nov-1973 21:33 257
freeze_makes_imm.mvir 29-Nov-1973 21:33 261
freeze_on_imm.exp 29-Nov-1973 21:33 251
freeze_on_imm.mvir 29-Nov-1973 21:33 201
freeze_valid.exp 29-Nov-1973 21:33 17
freeze_valid.mvir 29-Nov-1973 21:33 231
freeze_wrong_type.exp 29-Nov-1973 21:33 247
freeze_wrong_type.mvir 29-Nov-1973 21:33 239
generic_abilities_borrow_field.exp 29-Nov-1973 21:33 17
generic_abilities_borrow_field.mvir 29-Nov-1973 21:33 320
generic_abilities_borrow_global.exp 29-Nov-1973 21:33 320
generic_abilities_borrow_global.mvir 29-Nov-1973 21:33 249
generic_abilities_borrow_global_mut.exp 29-Nov-1973 21:33 320
generic_abilities_borrow_global_mut.mvir 29-Nov-1973 21:33 257
generic_abilities_call.exp 29-Nov-1973 21:33 316
generic_abilities_call.mvir 29-Nov-1973 21:33 255
generic_abilities_exists.exp 29-Nov-1973 21:33 329
generic_abilities_exists.mvir 29-Nov-1973 21:33 170
generic_abilities_imm_borrow_field.exp 29-Nov-1973 21:33 17
generic_abilities_imm_borrow_field.mvir 29-Nov-1973 21:33 382
generic_abilities_pack.exp 29-Nov-1973 21:33 17
generic_abilities_pack.mvir 29-Nov-1973 21:33 231
generic_abilities_struct_non_nominal_resource.exp 29-Nov-1973 21:33 316
generic_abilities_struct_non_nominal_resource.mvir 29-Nov-1973 21:33 256
generic_abilities_type_param_all.exp 29-Nov-1973 21:33 315
generic_abilities_type_param_all.mvir 29-Nov-1973 21:33 164
generic_abilities_type_param_resource.exp 29-Nov-1973 21:33 315
generic_abilities_type_param_resource.mvir 29-Nov-1973 21:33 158
generic_abilities_unpack.exp 29-Nov-1973 21:33 325
generic_abilities_unpack.mvir 29-Nov-1973 21:33 219
generic_builtins.exp 29-Nov-1973 21:33 17
generic_builtins.mvir 29-Nov-1973 21:33 1484
generic_call.exp 29-Nov-1973 21:33 17
generic_call.mvir 29-Nov-1973 21:33 408
generic_field_borrow.exp 29-Nov-1973 21:33 17
generic_field_borrow.mvir 29-Nov-1973 21:33 194
generic_field_borrow_after_call.exp 29-Nov-1973 21:33 17
generic_field_borrow_after_call.mvir 29-Nov-1973 21:33 220
generic_function_def.exp 29-Nov-1973 21:33 17
generic_function_def.mvir 29-Nov-1973 21:33 393
generic_id_function.exp 29-Nov-1973 21:33 18
generic_id_function.mvir 29-Nov-1973 21:33 232
generic_import_function.exp 29-Nov-1973 21:33 450
generic_import_function.mvir 29-Nov-1973 21:33 488
generic_import_struct.exp 29-Nov-1973 21:33 18
generic_import_struct.mvir 29-Nov-1973 21:33 312
generic_option.exp 29-Nov-1973 21:33 17
generic_option.mvir 29-Nov-1973 21:33 966
generic_pack.exp 29-Nov-1973 21:33 18
generic_pack.mvir 29-Nov-1973 21:33 451
generic_struct_def.exp 29-Nov-1973 21:33 17
generic_struct_def.mvir 29-Nov-1973 21:33 282
generic_unpack.exp 29-Nov-1973 21:33 18
generic_unpack.mvir 29-Nov-1973 21:33 448
integer_binary_operators_types_mismatch.exp 29-Nov-1973 21:33 47975
integer_binary_operators_types_mismatch.mvir 29-Nov-1973 21:33 14726
invalid_field_write.exp 29-Nov-1973 21:33 323
invalid_field_write.mvir 29-Nov-1973 21:33 336
invalid_resource_write.exp 29-Nov-1973 21:33 326
invalid_resource_write.mvir 29-Nov-1973 21:33 348
mut_borrow_from_imm_ref.exp 29-Nov-1973 21:33 328
mut_borrow_from_imm_ref.mvir 29-Nov-1973 21:33 526
mut_call_from_get_resource.exp 29-Nov-1973 21:33 18
mut_call_from_get_resource.mvir 29-Nov-1973 21:33 1734
mut_call_with_imm_ref.exp 29-Nov-1973 21:33 321
mut_call_with_imm_ref.mvir 29-Nov-1973 21:33 729
procedure_args_subtype.exp 29-Nov-1973 21:33 248
procedure_args_subtype.mvir 29-Nov-1973 21:33 272
procedure_return_invalid_subtype.exp 29-Nov-1973 21:33 317
procedure_return_invalid_subtype.mvir 29-Nov-1973 21:33 165
procedure_return_invalid_type.exp 29-Nov-1973 21:33 317
procedure_return_invalid_type.mvir 29-Nov-1973 21:33 131
release.exp 29-Nov-1973 21:33 320
release.mvir 29-Nov-1973 21:33 195
resource_instantiate_bad_type.exp 29-Nov-1973 21:33 319
resource_instantiate_bad_type.mvir 29-Nov-1973 21:33 229
return_type_mismatch_and_unused_resource.exp 29-Nov-1973 21:33 1235
return_type_mismatch_and_unused_resource.mvir 29-Nov-1973 21:33 880
signer_copy_loc.exp 29-Nov-1973 21:33 316
signer_copy_loc.mvir 29-Nov-1973 21:33 138
signer_copy_loc_transitive.exp 29-Nov-1973 21:33 317
signer_copy_loc_transitive.mvir 29-Nov-1973 21:33 255
signer_does_not_have_store.exp 29-Nov-1973 21:33 315
signer_does_not_have_store.mvir 29-Nov-1973 21:33 255
signer_equality.exp 29-Nov-1973 21:33 17
signer_equality.mvir 29-Nov-1973 21:33 119
signer_move_to_mutable_signer.exp 29-Nov-1973 21:33 615
signer_move_to_mutable_signer.mvir 29-Nov-1973 21:33 425
signer_move_to_non_resource.exp 29-Nov-1973 21:33 615
signer_move_to_non_resource.mvir 29-Nov-1973 21:33 407
signer_move_to_non_signer.exp 29-Nov-1973 21:33 615
signer_move_to_non_signer.mvir 29-Nov-1973 21:33 428
signer_move_to_non_struct.exp 29-Nov-1973 21:33 315
signer_move_to_non_struct.mvir 29-Nov-1973 21:33 194
signer_move_to_reference_to_args_flipped.exp 29-Nov-1973 21:33 615
signer_move_to_reference_to_args_flipped.mvir 29-Nov-1973 21:33 415
signer_move_to_reference_to_resource.exp 29-Nov-1973 21:33 615
signer_move_to_reference_to_resource.mvir 29-Nov-1973 21:33 445
signer_move_to_reference_to_wrong_resource.exp 29-Nov-1973 21:33 615
signer_move_to_reference_to_wrong_resource.mvir 29-Nov-1973 21:33 513
signer_move_to_valid.exp 29-Nov-1973 21:33 18
signer_move_to_valid.mvir 29-Nov-1973 21:33 505
signer_read_ref.exp 29-Nov-1973 21:33 316
signer_read_ref.mvir 29-Nov-1973 21:33 133
signer_read_ref_transitive.exp 29-Nov-1973 21:33 619
signer_read_ref_transitive.mvir 29-Nov-1973 21:33 469
signer_st_loc.exp 29-Nov-1973 21:33 17
signer_st_loc.mvir 29-Nov-1973 21:33 181
signer_transitive.exp 29-Nov-1973 21:33 17
signer_transitive.mvir 29-Nov-1973 21:33 262
signer_write_ref.exp 29-Nov-1973 21:33 17
signer_write_ref.mvir 29-Nov-1973 21:33 195
struct_kind_inference.exp 29-Nov-1973 21:33 1538
struct_kind_inference.mvir 29-Nov-1973 21:33 1428
type_error_after_branch.exp 29-Nov-1973 21:33 247
type_error_after_branch.mvir 29-Nov-1973 21:33 175
unpack_resource.exp 29-Nov-1973 21:33 18
unpack_resource.mvir 29-Nov-1973 21:33 929
unpack_wrong_type.exp 29-Nov-1973 21:33 320
unpack_wrong_type.mvir 29-Nov-1973 21:33 316
unrestricted_instantiate.exp 29-Nov-1973 21:33 18
unrestricted_instantiate.mvir 29-Nov-1973 21:33 448
unrestricted_instantiate_bad_type.exp 29-Nov-1973 21:33 319
unrestricted_instantiate_bad_type.mvir 29-Nov-1973 21:33 164
unused_resource_holder.exp 29-Nov-1973 21:33 261
unused_resource_holder.mvir 29-Nov-1973 21:33 476
vector_ops_type_mismatch.exp 29-Nov-1973 21:33 1377
vector_ops_type_mismatch.mvir 29-Nov-1973 21:33 1138