runtime/proof_trace_writer.h#1189

automergerpr-permission-manager[bot] merged 2 commits intoruntimeverification:developruntimeverification/llvm-backend:developfrom

dmitry-vlasov:dev/dmitry/13J24/proof_trace_callback_writer_protecteddmitry-vlasov/llvm-backend:dev/dmitry/13J24/proof_trace_callback_writer_protectedCopy head branch name to clipboard