| Mode | Name | Size | |
|---|---|---|---|
| d--------- | assume | 220 | log plain |
| -rw-r--r-- | should_accept_if_src_has_safety_invariant.rs | 471 | log plain |
| -rw-r--r-- | should_reject_if_dst_has_safety_invariant.rs | 521 | log plain |
| -rw-r--r-- | should_reject_if_dst_has_safety_invariant.stderr | 767 | log plain |
| -rw-r--r-- | should_reject_if_ref_src_has_safety_invariant.rs | 586 | log plain |
| -rw-r--r-- | should_reject_if_ref_src_has_safety_invariant.stderr | 795 | log plain |
