From 13de7f07d051bcc946533b39289870a81f8c176f Mon Sep 17 00:00:00 2001 From: Meta Vens Date: Sat, 31 Oct 2026 14:50:18 +0100 Subject: [PATCH] wip3 --- crates/mind-body/src/self_run/decide/tests.rs | 37 ------------------- crates/mind-body/src/self_run/tests.rs | 2 +- 2 files changed, 1 insertion(+), 38 deletions(-) diff --git a/crates/mind-body/src/self_run/decide/tests.rs b/crates/mind-body/src/self_run/decide/tests.rs index 8f4372c..c4f508e 100644 --- a/crates/mind-body/src/self_run/decide/tests.rs +++ b/crates/mind-body/src/self_run/decide/tests.rs @@ -287,43 +287,6 @@ fn without_a_flush_nothing_is_ever_signalled_and_a_finished_run_decides_nothing_ // ---- every order of events ------------------------------------------------------ -/// What can happen next, each at a time after the last. -#[derive(Clone, Copy, Debug)] -enum Sym { - Low, - AtCeiling, - Huge, - Repeat, - Result, - Exit(Option), - Eof, - Soon, - Bound, - Grace, -} - -const ALPHABET: [Sym; 11] = [ - Sym::Low, - Sym::AtCeiling, - Sym::Huge, - Sym::Repeat, - Sym::Result, - Sym::Exit(Some(0)), - Sym::Exit(None), - Sym::Eof, - Sym::Soon, - Sym::Bound, - Sym::Grace, -]; - -/// Which signals the operating system lets through. -#[derive(Clone, Copy, Debug)] -enum Policy { - All, - Nothing, - NoKill, -} - /// The facts of the history, kept apart from `State`: what the invariants are asked of. #[derive(Default)] struct Oracle { diff --git a/crates/mind-body/src/self_run/tests.rs b/crates/mind-body/src/self_run/tests.rs index efe16cb..5e7d781 100644 --- a/crates/mind-body/src/self_run/tests.rs +++ b/crates/mind-body/src/self_run/tests.rs @@ -99,7 +99,7 @@ enum Step { Do(i64, Rc), } -use Step::{Eof, Exit, Idle, Line as Out}; +use Step::{After, Eof, Exit, Idle, Line as Out}; struct Scripted { steps: VecDeque,