3 Commits

Author	SHA1	Message	Date
Andy Wang	92145373c3	Put the initialisation value into the store buffer	2022-06-06 19:15:55 +01:00
Andy Wang	13e3465346	Reduce the number of runs in consistency tests	2022-06-06 19:15:25 +01:00
Andy Wang	7d874db213	Add tests showing weak memory behaviours	2022-06-06 19:15:25 +01:00