Programming Languages Research Group: Git

author	Brian Norris <banorris@uci.edu>
	Wed, 19 Dec 2012 06:48:21 +0000 (22:48 -0800)
committer	Brian Norris <banorris@uci.edu>
	Wed, 19 Dec 2012 06:49:24 +0000 (22:49 -0800)
commit	fda78132342c17dd25db22977211536d38f7e853
tree	957ab533b2037a9f36c80102e6f8f37c42f6b644	tree \| snapshot
parent	3d5c19a73ba8eb618da7c304a229af3afe54bd71	commit \| diff

test: don't relay on thrd_current() returning an int

The C11 spec doesn't require thrd_t to be a particular object
format/type. I will need to change this type, I think, so don't assume
it's an int.

test/deadlock.cc		diff \| blob \| history
test/double-relseq.c		diff \| blob \| history
test/releaseseq.c		diff \| blob \| history
test/thinair.c		diff \| blob \| history
test/uninit.cc		diff \| blob \| history
test/userprog.c		diff \| blob \| history

C++11 memory model checker

RSS Atom