c0aa3b613b
Use any instead of interface{}
...
Signed-off-by: chenyahui <cyhone@qq.com >
2023-09-17 17:41:58 +08:00
11da84a1d1
tests/robustness: Implement loading client reports
...
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com >
2023-06-28 15:35:17 +02:00
2e7cb772b2
tests/robustness: Implement proper range requests
...
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com >
2023-06-22 18:36:43 +02:00
f7831e2607
tests/robustness: Move key into dedicated options to allow to implement proper ranges
...
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com >
2023-06-22 18:27:54 +02:00
3f09a51c60
tests/robustness: Make watch event independent from etcd operation
...
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com >
2023-06-22 15:43:27 +02:00
1663600bec
tests/robustness: Validate stale get requests by replaying etcd state
...
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com >
2023-06-19 14:17:38 +02:00
96987d8b5e
tests/robustness: Implement stale reads without validation
...
For now we just validate stale read revision, but not response content.
Reason is that etcd model only stores latest version of keys, and no
history like real etcd.
Validating stale read contents needs to be done outside of model
as storing whole history is just to costly for linearization validation.
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com >
2023-06-16 21:17:37 +02:00
ea3255b477
tests/robustness: Limit model to start only from fresh state
...
It is just to complicated to support starting from non-empty etcd.
Existing implementation was very naive to assume that we can build
full state from just one request. We might consider implementing
validation of non-empty history in future, but for now settting
this limit should clean up the code and speed up development.
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com >
2023-06-16 13:50:20 +02:00
34cbf4cd6f
tests/robustness: Allow errors and unknown responses in deterministic model
...
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com >
2023-06-15 22:25:48 +02:00
6979318108
tests/robustness: Make Range a proper request type to allow setting Range.Revision != 0 for stale reads
...
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com >
2023-06-14 13:55:45 +02:00
974655e02c
tests/robustness: Rename operations const to separate from RequestType
...
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com >
2023-06-14 13:24:14 +02:00
53af854871
tests/robustness: Assume starting from empty etcd instead of throwing out first failed request
...
Signed-off-by: Marek Siarkowicz <serathius@users.noreply.github.com >
2023-06-09 22:38:16 +02:00
6e53792568
tests/robustness: Implement Kubernetes optimistic concurrency operations
...
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com >
2023-05-15 13:45:27 +02:00
831ce4c3cf
tests/robustness: Improve naming of Txn fields
...
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com >
2023-05-12 13:10:25 +02:00
7c68be4cf3
tests/robustness: Implement Range limit and count
...
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com >
2023-05-07 09:32:07 +02:00
92366a5338
tests/robustness: Split model code into deterministic and non-deterministic
...
Signed-off-by: Marek Siarkowicz <siarkowicz@google.com >
Co-authored-by: Benjamin Wang <wachao@vmware.com >
Co-authored-by: chao <54131596+chaochn47@users.noreply.github.com >
2023-05-05 12:25:10 +02:00
