Index of /src/bytecode-verifier-transactional-tests-0.3.2/tests/reference_safety/
../
assign_field_after_local.exp 29-Nov-1973 21:33 327
assign_field_after_local.mvir 29-Nov-1973 21:33 443
assign_local_after_move.exp 29-Nov-1973 21:33 250
assign_local_after_move.mvir 29-Nov-1973 21:33 247
assign_local_struct.exp 29-Nov-1973 21:33 18
assign_local_struct.mvir 29-Nov-1973 21:33 1118
assign_local_struct_invalidated.exp 29-Nov-1973 21:33 261
assign_local_struct_invalidated.mvir 29-Nov-1973 21:33 1321
assign_local_value.exp 29-Nov-1973 21:33 17
assign_local_value.mvir 29-Nov-1973 21:33 260
borrow_copy_ok.exp 29-Nov-1973 21:33 18
borrow_copy_ok.mvir 29-Nov-1973 21:33 525
borrow_field_ok.exp 29-Nov-1973 21:33 18
borrow_field_ok.mvir 29-Nov-1973 21:33 641
borrow_global_acquires_1.exp 29-Nov-1973 21:33 17
borrow_global_acquires_1.mvir 29-Nov-1973 21:33 529
borrow_global_acquires_2.exp 29-Nov-1973 21:33 17
borrow_global_acquires_2.mvir 29-Nov-1973 21:33 1361
borrow_global_acquires_3.exp 29-Nov-1973 21:33 17
borrow_global_acquires_3.mvir 29-Nov-1973 21:33 1630
borrow_global_acquires_duplicate_annotation.exp 29-Nov-1973 21:33 286
borrow_global_acquires_duplicate_annotation.mvir 29-Nov-1973 21:33 279
borrow_global_acquires_extraneous_annotation.exp 29-Nov-1973 21:33 287
borrow_global_acquires_extraneous_annotation.mvir 29-Nov-1973 21:33 169
borrow_global_acquires_invalid_1.exp 29-Nov-1973 21:33 310
borrow_global_acquires_invalid_1.mvir 29-Nov-1973 21:33 537
borrow_global_acquires_invalid_2.exp 29-Nov-1973 21:33 903
borrow_global_acquires_invalid_2.mvir 29-Nov-1973 21:33 2356
borrow_global_acquires_invalid_3.exp 29-Nov-1973 21:33 905
borrow_global_acquires_invalid_3.mvir 29-Nov-1973 21:33 2786
borrow_global_acquires_invalid_annotation.exp 29-Nov-1973 21:33 284
borrow_global_acquires_invalid_annotation.mvir 29-Nov-1973 21:33 180
borrow_global_acquires_missing_annotation.exp 29-Nov-1973 21:33 315
borrow_global_acquires_missing_annotation.mvir 29-Nov-1973 21:33 260
borrow_global_acquires_return_reference_1.exp 29-Nov-1973 21:33 17
borrow_global_acquires_return_reference_1.mvir 29-Nov-1973 21:33 764
borrow_global_acquires_return_reference_invalid..> 29-Nov-1973 21:33 331
borrow_global_acquires_return_reference_invalid..> 29-Nov-1973 21:33 425
borrow_global_bad0.exp 29-Nov-1973 21:33 310
borrow_global_bad0.mvir 29-Nov-1973 21:33 449
borrow_global_bad1.exp 29-Nov-1973 21:33 310
borrow_global_bad1.mvir 29-Nov-1973 21:33 487
borrow_global_bad2.exp 29-Nov-1973 21:33 310
borrow_global_bad2.mvir 29-Nov-1973 21:33 489
borrow_global_bad5.exp 29-Nov-1973 21:33 311
borrow_global_bad5.mvir 29-Nov-1973 21:33 730
borrow_global_good.exp 29-Nov-1973 21:33 17
borrow_global_good.mvir 29-Nov-1973 21:33 2316
borrow_if.exp 29-Nov-1973 21:33 247
borrow_if.mvir 29-Nov-1973 21:33 260
borrow_return_mutable_borrow_bad.exp 29-Nov-1973 21:33 324
borrow_return_mutable_borrow_bad.mvir 29-Nov-1973 21:33 420
borrow_x_in_if_y_in_else.exp 29-Nov-1973 21:33 17
borrow_x_in_if_y_in_else.mvir 29-Nov-1973 21:33 319
copy_loc_borrowed.exp 29-Nov-1973 21:33 17
copy_loc_borrowed.mvir 29-Nov-1973 21:33 279
copy_loc_borrowed_field.exp 29-Nov-1973 21:33 17
copy_loc_borrowed_field.mvir 29-Nov-1973 21:33 440
copy_loc_borrowed_field_invalid.exp 29-Nov-1973 21:33 325
copy_loc_borrowed_field_invalid.mvir 29-Nov-1973 21:33 376
copy_loc_borrowed_indirect.exp 29-Nov-1973 21:33 17
copy_loc_borrowed_indirect.mvir 29-Nov-1973 21:33 456
copy_loc_borrowed_indirect_invalid.exp 29-Nov-1973 21:33 325
copy_loc_borrowed_indirect_invalid.mvir 29-Nov-1973 21:33 400
copy_loc_borrowed_invalid.exp 29-Nov-1973 21:33 325
copy_loc_borrowed_invalid.mvir 29-Nov-1973 21:33 249
deref_borrow_field_ok.exp 29-Nov-1973 21:33 18
deref_borrow_field_ok.mvir 29-Nov-1973 21:33 466
deref_copy_bad.exp 29-Nov-1973 21:33 250
deref_copy_bad.mvir 29-Nov-1973 21:33 243
deref_eq_bad.exp 29-Nov-1973 21:33 323
deref_eq_bad.mvir 29-Nov-1973 21:33 413
deref_eq_good.exp 29-Nov-1973 21:33 17
deref_eq_good.mvir 29-Nov-1973 21:33 520
eq_bad.exp 29-Nov-1973 21:33 1291
eq_bad.mvir 29-Nov-1973 21:33 1088
eq_ok.exp 29-Nov-1973 21:33 17
eq_ok.mvir 29-Nov-1973 21:33 813
factor_invalid_1.exp 29-Nov-1973 21:33 639
factor_invalid_1.mvir 29-Nov-1973 21:33 1292
factor_invalid_2.exp 29-Nov-1973 21:33 328
factor_invalid_2.mvir 29-Nov-1973 21:33 676
factor_valid_1.exp 29-Nov-1973 21:33 17
factor_valid_1.mvir 29-Nov-1973 21:33 824
factor_valid_2.exp 29-Nov-1973 21:33 17
factor_valid_2.mvir 29-Nov-1973 21:33 1545
imm_borrow_global.exp 29-Nov-1973 21:33 18
imm_borrow_global.mvir 29-Nov-1973 21:33 1614
imm_borrow_global_invalid.exp 29-Nov-1973 21:33 930
imm_borrow_global_invalid.mvir 29-Nov-1973 21:33 2114
imm_borrow_global_lossy_acquire_invalid.exp 29-Nov-1973 21:33 322
imm_borrow_global_lossy_acquire_invalid.mvir 29-Nov-1973 21:33 1456
imm_borrow_global_requires_acquire.exp 29-Nov-1973 21:33 315
imm_borrow_global_requires_acquire.mvir 29-Nov-1973 21:33 212
imm_borrow_loc.exp 29-Nov-1973 21:33 17
imm_borrow_loc.mvir 29-Nov-1973 21:33 1887
imm_borrow_loc_trivial.exp 29-Nov-1973 21:33 17
imm_borrow_loc_trivial.mvir 29-Nov-1973 21:33 777
imm_borrow_loc_trivial_valid.exp 29-Nov-1973 21:33 17
imm_borrow_loc_trivial_valid.mvir 29-Nov-1973 21:33 729
imm_borrow_loc_valid.exp 29-Nov-1973 21:33 17
imm_borrow_loc_valid.mvir 29-Nov-1973 21:33 1820
imm_borrow_on_mut.exp 29-Nov-1973 21:33 17
imm_borrow_on_mut.mvir 29-Nov-1973 21:33 1698
imm_borrow_on_mut_invalid.exp 29-Nov-1973 21:33 662
imm_borrow_on_mut_invalid.mvir 29-Nov-1973 21:33 3398
imm_borrow_on_mut_trivial.exp 29-Nov-1973 21:33 17
imm_borrow_on_mut_trivial.mvir 29-Nov-1973 21:33 601
imm_borrow_on_mut_trivial_invalid.exp 29-Nov-1973 21:33 337
imm_borrow_on_mut_trivial_invalid.mvir 29-Nov-1973 21:33 1022
join_borrow_unavailable_valid.exp 29-Nov-1973 21:33 17
join_borrow_unavailable_valid.mvir 29-Nov-1973 21:33 488
move_one_branch.exp 29-Nov-1973 21:33 17
move_one_branch.mvir 29-Nov-1973 21:33 818
mutable_borrow_invalid.exp 29-Nov-1973 21:33 630
mutable_borrow_invalid.mvir 29-Nov-1973 21:33 896
mutable_borrow_local_twice.exp 29-Nov-1973 21:33 17
mutable_borrow_local_twice.mvir 29-Nov-1973 21:33 404
mutable_borrow_local_twice_invalid.exp 29-Nov-1973 21:33 316
mutable_borrow_local_twice_invalid.mvir 29-Nov-1973 21:33 350
mutate_borrow_field_ok.exp 29-Nov-1973 21:33 18
mutate_borrow_field_ok.mvir 29-Nov-1973 21:33 657
mutate_resource_holder.exp 29-Nov-1973 21:33 318
mutate_resource_holder.mvir 29-Nov-1973 21:33 259
mutate_resource_holder_2.exp 29-Nov-1973 21:33 18
mutate_resource_holder_2.mvir 29-Nov-1973 21:33 1016
mutate_with_borrowed_loc.exp 29-Nov-1973 21:33 17
mutate_with_borrowed_loc.mvir 29-Nov-1973 21:33 237
mutate_with_borrowed_loc_invalid.exp 29-Nov-1973 21:33 317
mutate_with_borrowed_loc_invalid.mvir 29-Nov-1973 21:33 201
mutate_with_borrowed_loc_struct_invalid.exp 29-Nov-1973 21:33 620
mutate_with_borrowed_loc_struct_invalid.mvir 29-Nov-1973 21:33 671
nested_mutate.exp 29-Nov-1973 21:33 18
nested_mutate.mvir 29-Nov-1973 21:33 968
no_borrow_ref.exp 29-Nov-1973 21:33 247
no_borrow_ref.mvir 29-Nov-1973 21:33 150
read_field_after_assign_local.exp 29-Nov-1973 21:33 327
read_field_after_assign_local.mvir 29-Nov-1973 21:33 448
read_local_ref_after_assign.exp 29-Nov-1973 21:33 258
read_local_ref_after_assign.mvir 29-Nov-1973 21:33 368
read_local_ref_after_move.exp 29-Nov-1973 21:33 249
read_local_ref_after_move.mvir 29-Nov-1973 21:33 191
ref_moved_one_branch.exp 29-Nov-1973 21:33 17
ref_moved_one_branch.mvir 29-Nov-1973 21:33 421
release_cycle.exp 29-Nov-1973 21:33 17
release_cycle.mvir 29-Nov-1973 21:33 522
return_local_ref.exp 29-Nov-1973 21:33 342
return_local_ref.mvir 29-Nov-1973 21:33 237
return_with_borrowed_loc.exp 29-Nov-1973 21:33 17
return_with_borrowed_loc.mvir 29-Nov-1973 21:33 522
return_with_borrowed_loc_invalid.exp 29-Nov-1973 21:33 1285
return_with_borrowed_loc_invalid.mvir 29-Nov-1973 21:33 1357
return_with_borrowed_loc_resource_invalid.exp 29-Nov-1973 21:33 325
return_with_borrowed_loc_resource_invalid.mvir 29-Nov-1973 21:33 249
simple_mutate.exp 29-Nov-1973 21:33 18
simple_mutate.mvir 29-Nov-1973 21:33 543
two_mutable_ref.exp 29-Nov-1973 21:33 17
two_mutable_ref.mvir 29-Nov-1973 21:33 456
use_after_move.exp 29-Nov-1973 21:33 320
use_after_move.mvir 29-Nov-1973 21:33 687
use_prefix_after_move.exp 29-Nov-1973 21:33 18
use_prefix_after_move.mvir 29-Nov-1973 21:33 890
use_suffix_after_move.exp 29-Nov-1973 21:33 320
use_suffix_after_move.mvir 29-Nov-1973 21:33 759
vector_ops_double_borrow.exp 29-Nov-1973 21:33 759
vector_ops_double_borrow.mvir 29-Nov-1973 21:33 904
vector_ops_move_after_borrow.exp 29-Nov-1973 21:33 483
vector_ops_move_after_borrow.mvir 29-Nov-1973 21:33 421
vector_ops_pop_after_borrow.exp 29-Nov-1973 21:33 507
vector_ops_pop_after_borrow.mvir 29-Nov-1973 21:33 457
writeref_borrow_invalid.exp 29-Nov-1973 21:33 317
writeref_borrow_invalid.mvir 29-Nov-1973 21:33 408
writeref_borrow_valid1.exp 29-Nov-1973 21:33 17
writeref_borrow_valid1.mvir 29-Nov-1973 21:33 597
writeref_borrow_valid2.exp 29-Nov-1973 21:33 17
writeref_borrow_valid2.mvir 29-Nov-1973 21:33 841