faulty jcstress sample

Vladimir Sitnikov sitnikov.vladimir at gmail.com
Thu Aug 30 09:47:01 UTC 2018

Felix>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.


(0,1) should be forbidden there

Felix>I can't link to the sources right now

This link works for me



More information about the jcstress-dev mailing list