26 lines
1.1 KiB
Rust
26 lines
1.1 KiB
Rust
|
//! Contract tests for lesavka-core gadget rebuild guardrails.
|
||
|
|
//!
|
||
|
|
//! Scope: statically guard the shell logic in `scripts/daemon/lesavka-core.sh`.
|
||
|
|
//! Targets: incomplete gadget recovery behavior.
|
||
|
|
//! Why: the gadget can be bound but half-applied, and the core script must
|
||
|
|
//! rebuild that state instead of refusing reset forever.
|
||
|
|
|
||
|
|
const CORE_SCRIPT: &str = include_str!("../../scripts/daemon/lesavka-core.sh");
|
||
|
|
|
||
|
|
#[test]
|
||
|
|
fn core_script_rebuilds_incomplete_bound_gadgets() {
|
||
|
|
for expected in [
|
||
|
|
"GADGET_NEEDS_REBUILD=0",
|
||
|
|
"gadget is configured but missing expected functions; continuing toward rebuild.",
|
||
|
|
"GADGET_NEEDS_REBUILD=1",
|
||
|
|
"if [[ -n $BOUND_UDC && -z $ALLOW_RESET && \"$GADGET_NEEDS_REBUILD\" != \"1\" ]]; then",
|
||
|
|
"if [[ -z $ALLOW_RESET ]] && is_attached_state \"$UDC_STATE\" && [[ \"$GADGET_NEEDS_REBUILD\" != \"1\" ]]; then",
|
||
|
|
"incomplete gadget detected; rebuilding even though the old gadget is still bound.",
|
||
|
|
] {
|
||
|
|
assert!(
|
||
|
|
CORE_SCRIPT.contains(expected),
|
||
|
|
"lesavka-core guardrail missing: {expected}"
|
||
|
|
);
|
||
|
|
}
|
||
|
|
}
|