 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
26,816 |
arguments.sil
|
|
- |
rw-r--r-- |
373 |
basic.sil
|
|
- |
rw-r--r-- |
3,413 |
begin_apply_use_after_end_apply.sil
|
|
- |
rw-r--r-- |
680 |
borrow_and_concurrency.sil
|
|
- |
rw-r--r-- |
11,133 |
borrow_cast_validate.sil
|
|
- |
rw-r--r-- |
10,397 |
borrow_extract_validate.sil
|
|
- |
rw-r--r-- |
8,068 |
borrow_scope_introducing_operands.sil
|
|
- |
rw-r--r-- |
7,184 |
borrow_scope_introducing_operands_positive.sil
|
|
- |
rw-r--r-- |
31,553 |
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-- |
7,510 |
extend_lifetime.sil
|
|
- |
rw-r--r-- |
4,243 |
false_positive_leaks.sil
|
|
- |
rw-r--r-- |
4,984 |
guaranteed_chain.sil
|
|
- |
rw-r--r-- |
10,828 |
guaranteed_phis.sil
|
|
- |
rw-r--r-- |
7,761 |
guaranteed_phis_errors.sil
|
|
- |
rw-r--r-- |
6,470 |
interior_pointer.sil
|
|
- |
rw-r--r-- |
2,660 |
leaks.sil
|
|
- |
rw-r--r-- |
2,954 |
load_borrow_invalidation_partial_apply.sil
|
|
- |
rw-r--r-- |
15,905 |
load_borrow_invalidation_test.sil
|
|
- |
rw-r--r-- |
6,225 |
load_borrow_verify.sil
|
|
- |
rw-r--r-- |
3,079 |
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-- |
6,202 |
subobject_borrowing.sil
|
|
- |
rw-r--r-- |
2,164 |
undef.sil
|
|
- |
rw-r--r-- |
3,527 |
unreachable_code.sil
|
|
- |
rw-r--r-- |
55,705 |
use_verifier.sil
|
