519 |
match t.t_verifier with |
match t.t_verifier with |
520 |
NoVerification |
NoVerification |
521 |
| VerificationNotAvailable -> () |
| VerificationNotAvailable -> () |
522 |
|
|
523 |
|
| ForceVerification -> |
524 |
|
set_toverify_block t i; |
525 |
|
set_verified_chunk t i; |
526 |
|
t.t_verified t.t_nverified_blocks i |
527 |
|
|
528 |
| Verification chunks when Array.length chunks = Array.length t.t_blocks -> |
| Verification chunks when Array.length chunks = Array.length t.t_blocks -> |
529 |
begin |
begin |
1776 |
HS.iter (fun t -> |
HS.iter (fun t -> |
1777 |
match t.t_verifier with |
match t.t_verifier with |
1778 |
NoVerification |
NoVerification |
1779 |
| VerificationNotAvailable -> () |
| VerificationNotAvailable |
1780 |
|
| ForceVerification -> () |
1781 |
| Verification checksums |
| Verification checksums |
1782 |
when Array.length checksums = Array.length t.t_blocks -> |
when Array.length checksums = Array.length t.t_blocks -> |
1783 |
let rec iter i len pos bsize size = |
let rec iter i len pos bsize size = |