jpf-visual/chatsim.jpf at master · qiyitang71/jpf-visual · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
chatsim=/Users/qiyitang/Documents/PhD/2017GSOC/chatserver-sol/src

target=ChatSim

listener=gov.nasa.jpf.listener.PreciseRaceDetector
cg.threads.break_arrays=true

chatsim.classpath=/Users/qiyitang/Documents/PhD/2017GSOC/chatserver-sol/src/env,/Users/qiyitang/Documents/PhD/2017GSOC/chatserver-sol/src
chatsim.sourcepath=/Users/qiyitang/Documents/PhD/2017GSOC/chatserver-sol/src

vm.reuse_tid=false
classpath=/Users/qiyitang/Documents/PhD/2017GSOC/chatserver-sol/src

# 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