Information for file /usr/bin/goto-instrument
| Name | /usr/bin/goto-instrument |
|---|---|
| Digest (sha256) | 1dc841da2b0a0b94fb06ebce3dc23d4b8a917d40ae86c52c5fd9f81155b44bf6 |
| Size | 10.27 MB |
| Modification time | Sun, 29 Nov 2020 01:18:00 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | cbmc-5.17.0-1.fc33.riscv64.rpm |
