riscv-symbolic: Split 32-bit and 64-bit dump CLIs
#929
| Job | Run time |
|---|---|
| 18m 51s | |
| 24m 26s | |
| 23m 30s | |
| 1h 6m 47s |
dump CLIs
#929
| Job | Run time |
|---|---|
| 18m 51s | |
| 24m 26s | |
| 23m 30s | |
| 1h 6m 47s |