@@ -6,6 +6,12 @@ use num_derive::FromPrimitive;
66use serde:: { Deserialize , Serialize } ;
77use serde_repr:: * ;
88
9+ // currently, we do assume that we record the whole program
10+ // so, we try to include minimal amount of data,
11+ // as we can reconstruct some things like depth, id-s etc
12+ // afterwards in postprocessing
13+ // this assumption can change in the future
14+
915#[ derive( Debug , Clone , Serialize , Deserialize ) ]
1016pub enum TraceLowLevelEvent {
1117 Step ( StepRecord ) ,
@@ -18,12 +24,17 @@ pub enum TraceLowLevelEvent {
1824 Call ( CallRecord ) ,
1925 Return ( ReturnRecord ) ,
2026 Event ( RecordEvent ) ,
27+
28+ // experimental modification value tracking events
2129 CompoundValue ( CompoundValueRecord ) ,
2230 CellValue ( CellValueRecord ) ,
2331 AssignCompoundItem ( AssignCompoundItemRecord ) ,
2432 AssignCell ( AssignCellRecord ) ,
2533 VariableCell ( VariableCellRecord ) ,
2634 DropVariable ( VariableId ) ,
35+
36+ // normal event, workaround for cases when we need to drop
37+ // a step event, but the trace needs to be append-only
2738 DropLastStep ,
2839}
2940
@@ -370,6 +381,7 @@ pub enum EventLogKind {
370381 CloseDir ,
371382 Socket ,
372383 Open ,
384+ Error ,
373385 // used for trace events
374386 TraceLogEvent ,
375387}
0 commit comments