vyre-conform 0.1.0

Conformance suite for vyre backends — proves byte-identical output to CPU reference
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

use std::fs;
use std::io;
use std::path::{Path, PathBuf};
use std::time::{Duration, Instant};
use crate::spec::types::MutationClass;
use super::mutation_cargo::{assert_source_matches_original, run_cargo_test};
pub use super::probe::{canary_plus_to_minus, mutation_probe};

/// Structured hint emitted for every surviving mutation. Meant to be
/// consumed by the Prosecutor agent to strengthen its tests.
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct StructuredFeedback {
    /// Identifier of the mutation that survived.
    pub mutation_id: String,
    /// Actionable suggestion for the Prosecutor.
    pub hint: String,
}