1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
#[cfg(test)] mod common;
use std::collections::HashMap;
use std::rc::Rc;
fn _multi_point_failure(sims: &[common::PaintingSim], state: &common::WALStoreEmulState, f: usize) {
let sim = &sims[0];
// save the current state and start from there
let mut state = state.clone();
let mut state0 = state.clone();
let nticks = sim.get_nticks(&mut state0);
println!("fail = {}, nticks = {}", f, nticks);
for i in 0..nticks {
println!("fail = {}, pos = {}", f, i);
let mut canvas = sim.new_canvas();
let mut ops: Vec<common::PaintStrokes> = Vec::new();
let mut ringid_map = HashMap::new();
let fgen = common::SingleFailGen::new(i);
if sim
.run(
&mut state,
&mut canvas,
sim.get_walloader(),
&mut ops,
&mut ringid_map,
Rc::new(fgen),
)
.is_err()
{
if sims.len() > 1 {
_multi_point_failure(&sims[1..], &state, f + 1)
} else {
assert!(sim.check(
&mut state,
&mut canvas,
sim.get_walloader(),
&ops,
&ringid_map,
))
}
}
}
}
fn multi_point_failure(sims: &[common::PaintingSim]) {
_multi_point_failure(sims, &common::WALStoreEmulState::new(), 1);
}
#[test]
fn single_point_failure1() {
let sim = common::PaintingSim {
block_nbit: 5,
file_nbit: 6,
file_cache: 1000,
n: 100,
m: 10,
k: 1000,
csize: 1000,
stroke_max_len: 10,
stroke_max_col: 256,
stroke_max_n: 5,
seed: 0,
};
multi_point_failure(&[sim]);
}
#[test]
fn two_failures() {
let sims = [common::PaintingSim {
block_nbit: 5,
file_nbit: 6,
file_cache: 1000,
n: 10,
m: 5,
k: 100,
csize: 1000,
stroke_max_len: 10,
stroke_max_col: 256,
stroke_max_n: 3,
seed: 0,
}, common::PaintingSim {
block_nbit: 5,
file_nbit: 6,
file_cache: 1000,
n: 10,
m: 5,
k: 100,
csize: 1000,
stroke_max_len: 10,
stroke_max_col: 256,
stroke_max_n: 3,
seed: 0,
}];
multi_point_failure(&sims);
}
|