Introduce tester feature flag

This commit is contained in:
Héctor Ramón Jiménez 2025-06-03 07:23:56 +02:00
parent ed528c9c53
commit 1821dc7ff0
No known key found for this signature in database
GPG key ID: 7CC46565708259A7
13 changed files with 488 additions and 640 deletions

View file

@ -30,6 +30,7 @@ where
}
pub fn rewind(&mut self, program: &P, message: usize) {
crate::debug::disable();
let (mut state, _) = program.boot();
if message < self.messages.len() {
@ -40,7 +41,6 @@ where
}
self.state = Some(state);
crate::debug::disable();
}
pub fn go_to_present(&mut self) {