target = TestBitSet

# Choice CG for rounds
rounds.class = .jvm.choice.IntIntervalGenerator
rounds.min = 8
rounds.max = 12

# Choice CG for values
value.class = .jvm.choice.IntIntervalGenerator
value.min = 1
value.max = 8

# Add coverage checker
listener+=,.listener.CoverageAnalyzer

# Configure coverage analyzer:
# include class Heap
coverage.include=Heap
# show method coverage
coverage.show_methods = true
# show analysis for method bodies
coverage.show_bodies = true
# don't deal with exception handlers
coverage.exclude_handlers = true


# Stuff for running from outside of JPF project
classpath+=:.
sourcepath+=:.

# Track choices
listener+=,.listener.ChoiceTracker
# But only choices from IntIntervalGenerator or BooleanChoiceGenerator
choice.class=.jvm.choice.IntIntervalGenerator,.jvm.BooleanChoiceGenerator