As surfaced in #337:
Model building from prism/jani files is currently configurable via the builder options, but this api is hard to find as there is a convenience function that does not take these options (even not as optional argument).
- We clearly need better documentation.
- I think we should consider our design here: model_building could have optional args/kwargs? Or we remove the simplest build method in favor of always requiring options?
As surfaced in #337:
Model building from prism/jani files is currently configurable via the builder options, but this api is hard to find as there is a convenience function that does not take these options (even not as optional argument).