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