test translate_proof_dir_override_proofs_unregistered_install ... ok
test translate_proof_drives_the_real_translation_binary ... ok
test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 5.86s