-
-
Notifications
You must be signed in to change notification settings - Fork 60
/
truncate.t
149 lines (123 loc) · 4.27 KB
/
truncate.t
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
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
A successful run with a complete .coverage file.
$ echo "(lang dune 2.7)" > dune-project
$ cat > dune <<'EOF'
> (executable
> (name test)
> (instrumentation (backend bisect_ppx)))
> EOF
$ dune exec ./test.exe --instrument-with bisect_ppx
$ mv bisect*.coverage bisect0.coverage
$ cat bisect0.coverage
BISECT-COVERAGE-4 1 7 test.ml 6 13 30 45 245 229 212 6 1 0 1 0 0 0
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Coverage: 2/6 (33.33%)
Truncate the .coverage file, clipping one of the integer arrays.
$ truncate -c -s 56 bisect0.coverage
$ cat bisect0.coverage
BISECT-COVERAGE-4 1 7 test.ml 6 13 30 45 245 229 212 6 1
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Error: cannot read coverage file 'bisect0.coverage': bad integer
[1]
$ truncate -c -s 55 bisect0.coverage
$ cat bisect0.coverage
BISECT-COVERAGE-4 1 7 test.ml 6 13 30 45 245 229 212 6
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Error: cannot read coverage file 'bisect0.coverage': bad integer
[1]
$ truncate -c -s 54 bisect0.coverage
$ cat bisect0.coverage
BISECT-COVERAGE-4 1 7 test.ml 6 13 30 45 245 229 212 6
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Error: cannot read coverage file 'bisect0.coverage': bad integer
[1]
Truncate the whole array.
$ truncate -c -s 53 bisect0.coverage
$ cat bisect0.coverage
BISECT-COVERAGE-4 1 7 test.ml 6 13 30 45 245 229 212
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Error: cannot read coverage file 'bisect0.coverage': bad integer
[1]
$ truncate -c -s 52 bisect0.coverage
$ cat bisect0.coverage
BISECT-COVERAGE-4 1 7 test.ml 6 13 30 45 245 229 212
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Error: cannot read coverage file 'bisect0.coverage': bad integer
[1]
Truncate a string.
$ truncate -c -s 30 bisect0.coverage
$ cat bisect0.coverage
BISECT-COVERAGE-4 1 7 test.ml
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Error: cannot read coverage file 'bisect0.coverage': bad integer
[1]
$ truncate -c -s 29 bisect0.coverage
$ cat bisect0.coverage
BISECT-COVERAGE-4 1 7 test.ml
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Error: cannot read coverage file 'bisect0.coverage': bad integer
[1]
$ truncate -c -s 28 bisect0.coverage
$ cat bisect0.coverage
BISECT-COVERAGE-4 1 7 test.m
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Error: coverage file 'bisect0.coverage' is truncated
[1]
$ truncate -c -s 22 bisect0.coverage
$ cat bisect0.coverage
BISECT-COVERAGE-4 1 7
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Error: coverage file 'bisect0.coverage' is truncated
[1]
$ truncate -c -s 21 bisect0.coverage
$ cat bisect0.coverage
BISECT-COVERAGE-4 1 7
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Error: coverage file 'bisect0.coverage' is truncated
[1]
$ truncate -c -s 20 bisect0.coverage
$ cat bisect0.coverage
BISECT-COVERAGE-4 1
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Error: cannot read coverage file 'bisect0.coverage': bad integer
[1]
Truncate the file header.
$ truncate -c -s 18 bisect0.coverage
$ cat bisect0.coverage
BISECT-COVERAGE-4
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Error: cannot read coverage file 'bisect0.coverage': bad integer
[1]
$ truncate -c -s 17 bisect0.coverage
$ cat bisect0.coverage
BISECT-COVERAGE-4
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Error: cannot read coverage file 'bisect0.coverage': bad integer
[1]
$ truncate -c -s 16 bisect0.coverage
$ cat bisect0.coverage
BISECT-COVERAGE-
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Error: coverage file 'bisect0.coverage' is truncated
[1]
Truncate the whole file.
$ truncate -c -s 0 bisect0.coverage
$ cat bisect0.coverage
$ bisect-ppx-report summary --verbose
Info: found *.coverage files in './'
Error: coverage file 'bisect0.coverage' is truncated
[1]