Skip to content

Commit

Permalink
runtime/proof_trace_writer.h
Browse files Browse the repository at this point in the history
- set of inner `proof_trace_callback_writer` structs are
  made `protected` instead of `private`
 - `kore_configuration_construction` struct stores `block*`
  instead of a raw pointer `void*`
  • Loading branch information
dmitry-vlasov committed Dec 13, 2024
1 parent 3c2819a commit 017732e
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions include/runtime/proof_trace_writer.h
Original file line number Diff line number Diff line change
Expand Up @@ -194,7 +194,7 @@ class proof_trace_file_writer : public proof_trace_writer {
};

class proof_trace_callback_writer : public proof_trace_writer {
private:
protected:
struct kore_term_construction {
void *subject;
uint64_t block_header;
Expand All @@ -212,9 +212,9 @@ class proof_trace_callback_writer : public proof_trace_writer {
};

struct kore_configuration_construction {
void *subject;
block *subject;

kore_configuration_construction(void *subject)
kore_configuration_construction(block *subject)
: subject(subject) { }
};

Expand Down Expand Up @@ -279,6 +279,7 @@ class proof_trace_callback_writer : public proof_trace_writer {
}
};

private:
std::optional<call_event_construction> current_call_event_;

std::optional<rewrite_event_construction> current_rewrite_event_{
Expand Down

0 comments on commit 017732e

Please sign in to comment.