target=concurrency.TwoIncrementers
classpath=/courses/4315/workspace/4315/bin
sourcepath=/courses/4315/workspace/4315/src

@using=jpf-visual

# print trace when property is violated
report.errorTracePrinter.property_violation=trace

# register console errorTracePrinter as a publisher
report.publisher+=,errorTracePrinter
report.errorTracePrinter.class=ErrorTracePrinter

# turn on the shell
shell=.shell.basicshell.BasicShell

# turn on the new panel
shell.panels+=,errorTrace
shell.panels.errorTrace=ErrorTracePanel