scanf: bad input at char number 16: int_of_string

[cap-ak]

trafficstars

Running /magic-trace run -multi-thread -full-execution <process> sometimes results in

(monitor.ml.Error
 ("BUG: exception raised while parsing perf output. Please report this to https://github.com/janestreet/magic-trace/issues/"
  (exn
   (Scanf.Scan_failure "scanf: bad input at char number 16: int_of_string"))
  (perf_output
   " 9683/9683  3075019.901525208:   jmp                            3694c11b [unknown] =>         3694bd80 __cxa_pure_virtual@plt+0xffffffffe0001000"))
 ("Raised at Base__Error.raise in file \"src/error.ml\" (inlined), line 9, characters 14-30"
  "Called from Base__Error.raise_s in file \"src/error.ml\", line 10, characters 19-40"
  "Called from Async_kernel__Pipe.map.(fun) in file \"src/pipe.ml\", line 1042, characters 65-70"
  "Called from Async_kernel__Job_queue.run_jobs in file \"src/job_queue.ml\", line 167, characters 6-47"
  "Caught by monitor Monitor.protect"))

[Xyene]

Thanks for reporting. This looks a lot like https://github.com/janestreet/magic-trace/issues/196, which we haven't been able to reproduce on our end.

Could you share any more information about how to reproduce this?

[Xyene]

Closing to dedup with https://github.com/janestreet/magic-trace/issues/196, if you have any more information about this issue please reply there.