faulty jcstress sample

[Felix Riemann]

Hi,

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.

Greets,
Felix



-- 
andrena objects ag
Albert-Nestler-Str. 9
76131 Karlsruhe

t: +49 (0) 721 6105 122
f: +49 (0) 721 6105 140

http://www.andrena.de

Vorstand: Hagen Buchwald, Dr. Dieter Kuhn, Stefan Schürle
Aufsichtsratsvorsitzender: Rolf Hetzelberger

Sitz der Gesellschaft: Karlsruhe
Amtsgericht Mannheim, HRB 109694
USt-IdNr. DE174314824