pub fn proof_destination(
project_root: &Path,
name: &str,
) -> Result<ProofDestination, String>Expand description
The destination for the proof artifact name of project_root.
name comes from tool callers: only a bare file name is accepted
(Path::join drops the base for an absolute path, and .. would walk out
of proofs/).