@@ -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 ) ,
@@ -19,12 +25,17 @@ pub enum TraceLowLevelEvent {
1925 Return ( ReturnRecord ) ,
2026 Event ( RecordEvent ) ,
2127 Asm ( Vec < String > ) ,
28+
29+ // experimental modification value tracking events
2230 CompoundValue ( CompoundValueRecord ) ,
2331 CellValue ( CellValueRecord ) ,
2432 AssignCompoundItem ( AssignCompoundItemRecord ) ,
2533 AssignCell ( AssignCellRecord ) ,
2634 VariableCell ( VariableCellRecord ) ,
2735 DropVariable ( VariableId ) ,
36+
37+ // normal event, workaround for cases when we need to drop
38+ // a step event, but the trace needs to be append-only
2839 DropLastStep ,
2940}
3041
@@ -371,6 +382,7 @@ pub enum EventLogKind {
371382 CloseDir ,
372383 Socket ,
373384 Open ,
385+ Error ,
374386 // used for trace events
375387 TraceLogEvent ,
376388}
0 commit comments