neuwirth
/
pmacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

docs(tests): describe sentinel-bearing cases precisely 

X3 and X4 deliberately use dedicated stderr payloads, so describe the
sentinel as belonging to the branch-discriminating cases rather than to
every conformance stub.
This commit is contained in:
Levi Neuwirth 2026-08-20 14:46:37 +02:00
parent b492426c69
commit 5089715737
No known key found for this signature in database
2 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tests/gate_script_acceptance.rs
View File

@ -250,8 +250,9 @@ fn gate_maps_an_unexecutable_helper_to_error_not_ignored() {
/// ///
/// `ValidatedError` and `Boundary` both exit 2, so comparing codes /// `ValidatedError` and `Boundary` both exit 2, so comparing codes
/// alone would let a validator that accepts every status 2 pass. The /// alone would let a validator that accepts every status 2 pass. The
/// stubs emit a sentinel on stderr; a validated verdict surfaces it, a /// branch-discriminating cases emit a sentinel on stderr; a validated
/// boundary failure must withhold it. /// verdict surfaces it, while X3/X4 carry dedicated payloads and a
/// boundary failure must withhold untrusted stderr.
#[test] #[test]
fn gate_validates_the_whole_shared_conformance_set() { fn gate_validates_the_whole_shared_conformance_set() {
use common::sigint_conformance::{ use common::sigint_conformance::{

5
tests/gpu_invocation_acceptance.rs
View File

@ -285,8 +285,9 @@ mod crdt {
/// ///
/// `ValidatedError` and `Boundary` both produce `Err`, so comparing /// `ValidatedError` and `Boundary` both produce `Err`, so comparing
/// `is_ok()` alone would let a validator that accepts every status 2 /// `is_ok()` alone would let a validator that accepts every status 2
/// pass. The stubs emit a sentinel on stderr; a validated verdict /// pass. The branch-discriminating cases emit a sentinel on stderr;
/// surfaces it, a boundary failure must not. /// a validated verdict surfaces it, while X3/X4 carry dedicated
/// payloads and a boundary failure must withhold untrusted stderr.
#[test] #[test]
fn rd_precondition_validates_the_whole_conformance_set() { fn rd_precondition_validates_the_whole_conformance_set() {
// `super::` and NOT `crate::`: this file is ALSO compiled as a // `super::` and NOT `crate::`: this file is ALSO compiled as a