Function verify 

pub(crate) fn verify(
    exec_ctx: &ExecutionContext,
    path: &Path,
    expected: &str,
) -> bool