faulty jcstress sample
felix.riemann at andrena.de
Thu Aug 30 09:21:08 UTC 2018
I was tinkering with jcstress and had a look at the samples, and found one outcome declared as acceptable which as far as I understand shouldn't be.
The sample is JMMSample_04_PartialOrder.LockGuard, which considers the outcome "0, 1" to be acceptable. This outcome also doesn't show up in the comment block. The @Outcome annotations are probably just copied from the previous sample.
I can't link to the sources right now as https://wiki.openjdk.java.net/display/CodeTools/jcstress is down.
andrena objects ag
t: +49 (0) 721 6105 122
f: +49 (0) 721 6105 140
Vorstand: Hagen Buchwald, Dr. Dieter Kuhn, Stefan Schürle
Aufsichtsratsvorsitzender: Rolf Hetzelberger
Sitz der Gesellschaft: Karlsruhe
Amtsgericht Mannheim, HRB 109694
More information about the jcstress-dev