[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
RE: [Catacomb] 100% passing litmus test cases including locks
I seems that I should give Sung more troubles :)
Greate job, Sung.
Kai
On Wed, 4 Sep 2002, Jim Whitehead wrote:
> Kai,
>
> Looks like you need to add more lock tests to Litmus :-) Congratulations,
> Sung!
>
> - Jim
>
> > -----Original Message-----
> > From: catacomb-admin@webdav.org [mailto:catacomb-admin@webdav.org]On
> > Behalf Of Sung Kim
> > Sent: Tuesday, September 03, 2002 9:41 PM
> > To: catacomb@webdav.org
> > Subject: [Catacomb] 100% passing litmus test cases including locks
> >
> >
> > Hello,
> >
> > Finally, Catacomb can pass all litmus-0.8.0 test cases including
> > locks, even though there are several warnings. We should look at
> > the warnings, though.
> >
> > Why don't you check it out.
> >
> > --
> > Sung Kim <hunkim@cse.ucsc.edu>
> > http://www.cse.ucsc.edu/~hunkim
> >
> > "Dreams become reality!"
> >
> > _______________________________________________
> > Catacomb mailing list
> > Catacomb@webdav.org
> > http://mailman.webdav.org/mailman/listinfo/catacomb
>
> _______________________________________________
> Catacomb mailing list
> Catacomb@webdav.org
> http://mailman.webdav.org/mailman/listinfo/catacomb
>
