target = Racer

listener=gov.nasa.jpf.listener.PreciseRaceDetector

report.console.property_violation=error,trace