ExecutionTrace
Lean trace engine - just stores entries with serialization safety.
Constructor
ExecutionTrace(self)
Methods
add
add(self, node: str, message: str, data: dict = None, explanation: str = None)
Lean trace engine - just stores entries with serialization safety.
ExecutionTrace(self)
add(self, node: str, message: str, data: dict = None, explanation: str = None)