 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
27,820 |
arguments.sil
|
|
- |
rw-r--r-- |
373 |
basic.sil
|
|
- |
rw-r--r-- |
3,411 |
begin_apply_use_after_end_apply.sil
|
|
- |
rw-r--r-- |
680 |
borrow_and_concurrency.sil
|
|
- |
rw-r--r-- |
11,105 |
borrow_cast_validate.sil
|
|
- |
rw-r--r-- |
10,369 |
borrow_extract_validate.sil
|
|
- |
rw-r--r-- |
8,020 |
borrow_scope_introducing_operands.sil
|
|
- |
rw-r--r-- |
7,120 |
borrow_scope_introducing_operands_positive.sil
|
|
- |
rw-r--r-- |
31,525 |
borrow_validate.sil
|
|
- |
rw-r--r-- |
22,232 |
definite_init.sil
|
|
- |
rw-r--r-- |
1,216 |
disable_verifier_using_semantic_tag.sil
|
|
- |
rw-r--r-- |
4,243 |
false_positive_leaks.sil
|
|
- |
rw-r--r-- |
4,984 |
guaranteed_chain.sil
|
|
- |
rw-r--r-- |
10,010 |
guaranteed_phis.sil
|
|
- |
rw-r--r-- |
7,733 |
guaranteed_phis_errors.sil
|
|
- |
rw-r--r-- |
6,470 |
interior_pointer.sil
|
|
- |
rw-r--r-- |
2,660 |
leaks.sil
|
|
- |
rw-r--r-- |
3,019 |
load_borrow_invalidation_partial_apply.sil
|
|
- |
rw-r--r-- |
15,905 |
load_borrow_invalidation_test.sil
|
|
- |
rw-r--r-- |
6,203 |
load_borrow_verify.sil
|
|
- |
rw-r--r-- |
3,340 |
load_borrow_verify_errors.sil
|
|
- |
rw-r--r-- |
866 |
objc_use_verifier.sil
|
|
- |
rw-r--r-- |
2,460 |
opaque_use_verifier.sil
|
|
- |
rw-r--r-- |
10,947 |
over_consume.sil
|
|
- |
rw-r--r-- |
998 |
over_consume_positive.sil
|
|
- |
rw-r--r-- |
917 |
reborrowflag.sil
|
|
- |
rw-r--r-- |
6,202 |
subobject_borrowing.sil
|
|
- |
rw-r--r-- |
2,164 |
undef.sil
|
|
- |
rw-r--r-- |
3,527 |
unreachable_code.sil
|
|
- |
rw-r--r-- |
55,683 |
use_verifier.sil
|
