hermit-verify 0.4.0

Run-to-run verification harness for the Hermit deterministic execution engine.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73

/*
 * Copyright (c) Meta Platforms, Inc. and affiliates.
 * All rights reserved.
 *
 * This source code is licensed under the BSD-style license found in the
 * LICENSE file in the root directory of this source tree.
 */

use std::os::unix::prelude::ExitStatusExt;

use colored::Colorize;

use crate::CommonOpts;
use crate::cli_wrapper::build_hermit_cmd;
use crate::cli_wrapper::display_cmd;
use crate::common::RunEnvironment;

pub fn output_stdout(run: &RunEnvironment) -> anyhow::Result<()> {
    println!(":: ------------------Stdout----------------------");
    println!(
        "{}",
        std::fs::read_to_string(run.std_out_file_path.as_path())?
    );
    println!(":: ----------------End Stdout--------------------");
    println!();
    Ok(())
}

pub fn output_stderr(run: &RunEnvironment) -> anyhow::Result<()> {
    println!(":: ------------------Stderr----------------------");
    println!(
        "{}",
        std::fs::read_to_string(run.std_err_file_path.as_path())?
    );
    println!(":: ----------------End Stderr--------------------");
    println!();
    Ok(())
}

pub fn run_hermit(
    hermit_cli_args: Vec<String>,
    common_args: &CommonOpts,
    run: &RunEnvironment,
) -> anyhow::Result<()> {
    let hermit_cli_args = common_args.pin_comparison_epoch(hermit_cli_args);
    let mut command = build_hermit_cmd(&common_args.hermit_bin, hermit_cli_args, run)?;
    println!("   {}", display_cmd(&command).white().bold());
    let status = command.status()?;
    println!(
        "Executed command with status: {}",
        status.code().unwrap_or(0)
    );
    println!();

    std::fs::write(&run.exit_status_file_path, format!("{}", status.into_raw()))?;
    if status.success() || common_args.allow_nonzero_exit {
        Ok(())
    } else {
        println!(
            "{}",
            "Failing run because of non-zero exit code.".red().bold()
        );
        println!(
            "{}",
            "Try --allow-nonzero-exit if this is desired."
                .yellow()
                .bold()
        );
        let _ = output_stdout(run);
        let _ = output_stderr(run);
        anyhow::bail!("Nonzero exit not allowed.")
    }
}