[scripst] Fix `addr2line` call in tracevis
Giving `addr2line` an array as an argument led to the first entry not
being assigned the correct function call.
@@ -50,7 +50,7 @@ def flush(buf, hartid):
# get function names
pcs = [x[3] for x in buf]
a2ls = os.popen(
- f'addr2line -e {elf} -f -a -i {pcs}').read().split('\n')[:-1]
+ f'addr2line -e {elf} -f -a -i {" ".join(pcs)}').read().split('\n')[:-1]
for i in range(len(buf)-1):
(time, cyc, priv, pc, instr, args) = buf.pop(0)
