Programmatic sampling of model traces

[andrey-kuprianov]

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

The dependency needs to be implemented via reexporting functionality of Modelator, and combining it with the defaults stored in Atomkraft, in approximately the following form:

get_model_trace(model = None, config = None, samples = None)

where:

• the first two parameters are file paths, the third one is a list of operator names
• when not given explicitly, the parameters should be picked up from the current defaults stored in Atomkraft config, where they are set via atomkraft model subcommands.

Return value:

• when any parameter is not given, and is not available via defaults, or the parameter cannot be parsed, the function should raise an exception explaining the reason of the error.
• when the model can be sampled for traces given the provided parameters, ModelResult from Modelator API should be returned.