|
@@ -299,7 +299,7 @@ pub fn generic_test(test_params: GenericTestParams) {
|
|
|
let start = Instant::now();
|
|
let start = Instant::now();
|
|
|
log::info!("Searching for linearization arrangements ...");
|
|
log::info!("Searching for linearization arrangements ...");
|
|
|
assert!(
|
|
assert!(
|
|
|
- linearizability::check_operations_timeout::<KvModel>(&ops, None),
|
|
|
|
|
|
|
+ linearizability::check_operations_timeout::<KvModel>(ops, None),
|
|
|
"History {:?} is not linearizable,",
|
|
"History {:?} is not linearizable,",
|
|
|
ops,
|
|
ops,
|
|
|
);
|
|
);
|