Terminate JCStress on forbidden outcome?

Michael Emmi michael.emmi at gmail.com
Mon Mar 13 17:43:38 UTC 2017


Hi,

Is there a way to get JCStress to terminate when a given outcome — e.g.,
FORBIDDEN — is reached for the first time?

Best,
M
-- 
Michael Emmi


More information about the jcstress-dev mailing list