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

Gliffy Diagrams

Activity

Show:
Fixed

Details

Assignee

Reporter

Priority

Created May 17, 2013 at 2:45 PM
Updated May 24, 2013 at 11:27 AM
Resolved May 24, 2013 at 11:27 AM