Store and retrieve the last model trace

[andrey-kuprianov]

As documented in ADR-05 Test execution, there is a dependency on the Model module, for providing programmatic access to obtaining the last trace produced from the model.

Programmatically, the following function needs to be provided by the Model module:

get_trace(trace = None)

The trace parameter, when given, will provide a filesystem path where to retrieve the trace. When the parameter is omitted, the last trace produced from the atomkraft model check or atmokraft model sample commands should be retrieved from Atomkraft configuration.

Errors: on any error, an exception should be raised, explaining the error reason (e.g. no trace has been sampled, or the provided trace can't be parsed).

Return value: on success, the trace represented as an ITF class from Modelator should be returned.