Alex
|
a549122acd
|
Check read-after-write property for sets
continuous-integration/drone/push Build is passing
continuous-integration/drone/pr Build is passing
|
2023-04-19 22:02:03 +02:00 |
|
Alex
|
70f042131f
|
set tests with independant tests together
continuous-integration/drone/pr Build is passing
continuous-integration/drone/push Build is passing
|
2023-04-19 16:16:34 +02:00 |
|
Alex
|
4e0584a438
|
two set workloads with different checkers
|
2023-04-19 15:59:30 +02:00 |
|
Alex
|
2b70fe47e2
|
Add garage set test (this one works :p)
continuous-integration/drone/pr Build is passing
continuous-integration/drone/push Build is passing
|
2023-04-19 15:27:26 +02:00 |
|
Alex
|
e95e2e0dfe
|
refactor jepsen test
continuous-integration/drone/push Build is passing
continuous-integration/drone/pr Build is passing
|
2023-04-19 14:14:22 +02:00 |
|
Alex
|
ce1cb543e8
|
remove useless files
continuous-integration/drone/push Build is passing
continuous-integration/drone/pr Build is passing
|
2023-04-19 12:57:22 +02:00 |
|
Alex
|
cc5a677bac
|
the fix for increasing timestamps does not make things linearizable
continuous-integration/drone/push Build is passing
continuous-integration/drone/pr Build is passing
|
2023-04-18 18:21:35 +02:00 |
|
Alex
|
7d0523883a
|
even without nemesis, s3 get/put/delete is not linearizable (is this normal?)
continuous-integration/drone/push Build is passing
|
2023-04-18 17:47:53 +02:00 |
|
Alex
|
ab736be9f0
|
better match exceptions
continuous-integration/drone/push Build is passing
|
2023-04-18 16:19:35 +02:00 |
|
Alex
|
6dd7195d4e
|
jepsen: s3 gets and puts
|
2023-04-18 16:10:07 +02:00 |
|
Alex
|
f4a6e78459
|
jepsen connects to vagrant vms
|
2023-04-18 13:59:03 +02:00 |
|
Alex
|
71910ef109
|
jepsen ssh into containers seem to work ?
|
2023-04-18 13:27:22 +02:00 |
|
Alex
|
1f3d92fb84
|
jepsen: wip
|
2023-04-18 12:14:13 +02:00 |
|