DistB: pass on all parameters

Description

Parameters like search strategy or ProB preferences are not passed on if started via an experiment file.

Environment

None
Fixed

Assignee

Philipp Koerner

Reporter

Philipp Koerner

Priority

Major