// Ask user for parameters
properties.setProperty(PathSearch.PROPERTY_MAX_PATHLENGTH, "40");
properties.setProperty(PathSearch.PROPERTY_MAX_NO_PATHS, "-1");
properties.setProperty(SatisfiablePathSearch.PROPERTY_SOLVER, "cplex");
properties.setProperty(SatisfiablePathSearch.PROPERTY_UNCHECKED_STEPS, "2");
ActivityTestGenUserDialog dialog = new ActivityTestGenUserDialog(null,
properties);
// dialog.create();
if (dialog.open() == dialog.OK) {
properties = dialog.getActivityTestGenProperties();
for (int i = 1; i < 100; i++) {
// properties.setProperty(
// SatisfiablePathSearch.PROPERTY_MAX_NO_PATHS, /*
// * Iterate
// * through