150 |
Int64Swarmer.value_to_swarmer swarmer assocs; |
Int64Swarmer.value_to_swarmer swarmer assocs; |
151 |
Int64Swarmer.set_verifier swarmer ( |
Int64Swarmer.set_verifier swarmer ( |
152 |
match file.file_ttr with |
match file.file_ttr with |
153 |
None -> VerificationNotAvailable |
None -> ForceVerification |
154 |
| Some ttr -> |
| Some ttr -> |
155 |
lprintf "[TTR] set_verifier\n"; |
lprintf "[TTR] set_verifier\n"; |
156 |
Verification (Array.map (fun ttr -> TigerTree ttr) ttr)) |
Verification (Array.map (fun ttr -> TigerTree ttr) ttr)) |