Information for file /usr/bin/verilator_coverage_bin_dbg
Name | /usr/bin/verilator_coverage_bin_dbg |
---|---|
Digest (sha256) | 27a35aa572f7dd5f7ed62f7d59c0f2ae699330b46802ce9a0cd79d607bbdf431 |
Size | 85.85 KB |
Modification time | Tue, 04 Dec 2018 10:59:42 UTC |
User | root |
Group | root |
Mode | -rwxr-xr-x |
Flags | |
RPM | verilator-3.922-2.fc30.riscv64.rpm |