Exploration Configuration

Config key prefix: <prefix>.exploration, e.g., jdart.configs.sample.exploration

The options in this group allow to steer the exploration of a method, i.e., whether or not JDart will attempt to exercise other paths through this method. The default behavior is to explore all the time.

The suspend and resume option values allow to specify patterns of methods within which to change this behavior. If a method is entered which matches the suspend pattern, exploration is suspended; conversely, if a method is entered that matches the resume pattern, exploration is resumed. Finally, the boolean initial option controls whether or not JDart is exploring initially (the default is true).

Examples:

jdart.configs.sample.exploration.initial = false # don't explore initially
# Resume exploration in the method sample.Foo.foo(int,boolean)
jdart.configs.sample.exploration.resume = sample.Foo.foo(int,boolean)
# .. but suspend it again in any method with name bar (regardless of arguments)
# and the method baz().
jdart.configs.sample.exploration.resume =\
	sample.Foo.bar(*);\
	sample.Foo.baz()