14 commits

Author	SHA1	Message	Date
Alex Auvolat	9ec4cca334	reformatting	2023-10-18 12:03:12 +02:00
Alex Auvolat	18ee8efb5f	Check read-after-write property for sets	2023-10-18 12:03:12 +02:00
Alex Auvolat	55eb4e87c4	set tests with independant tests together	2023-10-18 12:03:11 +02:00
Alex Auvolat	0bb1577ae1	two set workloads with different checkers	2023-10-18 12:03:11 +02:00
Alex Auvolat	6eb26be548	Add garage set test (this one works :p)	2023-10-18 12:03:11 +02:00
Alex Auvolat	eb86eaa6d2	refactor jepsen test	2023-10-18 12:03:11 +02:00
Alex Auvolat	80d7b7d858	remove useless files	2023-10-18 12:03:11 +02:00
Alex Auvolat	93a7132b4c	the fix for increasing timestamps does not make things linearizable	2023-10-18 12:03:11 +02:00
Alex Auvolat	dc5245ce65	even without nemesis, s3 get/put/delete is not linearizable (is this normal?)	2023-10-18 12:03:11 +02:00
Alex Auvolat	70c1d3db46	better match exceptions	2023-10-18 12:03:11 +02:00
Alex Auvolat	bc11701999	jepsen: s3 gets and puts	2023-10-18 12:03:11 +02:00
Alex Auvolat	ca4cc7e44f	jepsen connects to vagrant vms	2023-10-18 12:03:11 +02:00
Alex Auvolat	17ebb65273	jepsen ssh into containers seem to work ?	2023-10-18 12:03:11 +02:00
Alex Auvolat	7011b71fbd	jepsen: wip	2023-10-18 12:03:11 +02:00