Making proof_trace_parser and llvm_rewrite_trace_iterator use a shared_ptr of kore_header
#3245
| Job | Run time |
|---|---|
| 14m 25s | |
| 53s | |
| 40s | |
| 7s | |
| 16m 5s |