harn-hostlib 0.10.167

Opt-in code-intelligence and deterministic-tool host builtins for the Harn VM
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

use std::cell::RefCell;
use std::panic::{catch_unwind, AssertUnwindSafe};

use super::*;

#[test]
fn interrupted_case_preserves_prior_verdict_and_unfinished_start() {
    let cases = [
        ConformanceCase::WorkspaceWriteAdmitted,
        ConformanceCase::OutsideWriteRefused,
    ];
    let receipts = RefCell::new(Vec::new());
    let result = catch_unwind(AssertUnwindSafe(|| {
        run_cases(
            &cases,
            |case| {
                // The start must already be visible when execution begins.
                let completed = usize::from(case == cases[1]);
                assert_eq!(
                    receipts.borrow().last().unwrap(),
                    &format!(
                        "harn.sandbox_conformance_start case={} completed={completed} pending={}",
                        case.id(),
                        cases.len() - completed,
                    ),
                );
                assert!(case != cases[1], "interrupted probe");
                broken(case, "fixture setup failed".to_string())
            },
            &mut |progress: ConformanceProgress<'_>| {
                receipts.borrow_mut().push(progress.receipt_line());
            },
        )
    }));
    let error = result.expect_err("the second case interrupts the aggregate");
    assert_eq!(error.downcast_ref::<&str>(), Some(&"interrupted probe"));
    let receipts = receipts.into_inner();
    assert_eq!(receipts.len(), 3);
    assert_eq!(
        receipts[1],
        broken(cases[0], "fixture setup failed".to_string()).receipt_line(),
    );
    assert_eq!(
        receipts[2],
        "harn.sandbox_conformance_start case=fs.outside_write_refused completed=1 pending=1",
    );
}