DistB: pass on all parameters
Description
Environment
None
Gliffy Diagrams
Activity
Show:
Fixed
Details
Details
Assignee
Philipp Koerner
Philipp KoernerReporter
Philipp Koerner
Philipp KoernerPriority
Created May 17, 2013 at 2:45 PM
Updated May 24, 2013 at 11:27 AM
Resolved May 24, 2013 at 11:27 AM
Parameters like search strategy or ProB preferences are not passed on if started via an experiment file.