| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 3 |  .. |
| -rw-r--r-- | 88 |  hello.mod |
| -rw-r--r-- | 118 | hello2.mod |
| -rw-r--r-- | 1356 | switches-whole-program-pass-run.exp |
| -rw-r--r-- | 859 | tiny.mod |
| -rw-r--r-- | 853 | tiny2.mod |
| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 3 | .. |
| -rw-r--r-- | 88 | hello.mod |
| -rw-r--r-- | 118 | hello2.mod |
| -rw-r--r-- | 1356 | switches-whole-program-pass-run.exp |
| -rw-r--r-- | 859 | tiny.mod |
| -rw-r--r-- | 853 | tiny2.mod |