| Mode | Name | Size | |
|---|---|---|---|
| d--------- | assume | 220 | log plain |
| -rw-r--r-- | should_accept_if_src_has_safety_invariant.rs | 455 | log plain |
| -rw-r--r-- | should_reject_if_dst_has_safety_invariant.rs | 505 | log plain |
| -rw-r--r-- | should_reject_if_dst_has_safety_invariant.stderr | 751 | log plain |
| -rw-r--r-- | should_reject_if_ref_src_has_safety_invariant.rs | 570 | log plain |
| -rw-r--r-- | should_reject_if_ref_src_has_safety_invariant.stderr | 779 | log plain |
