Attempt to figure out how to emit MaxStepsReached error

Author: ngernest

interp/src/main.rs

@@ -113,6 +113,7 @@ fn main() -> Result<(), Box<dyn std::error::Error>> {
         cli.max_steps.unwrap_or(u32::MAX),
     );
     let results = scheduler.execute_todos();
+    scheduler.emit_all_diagnostics();
 
     // Check whether the protocol was executed successfully
     for res in results {

protocols/src/errors.rs

@@ -373,8 +373,11 @@ impl DiagnosticEmitter {
             ExecutionError::Assertion(assert_err) => {
                 Self::emit_assertion_error(handler, assert_err, transaction, symbol_table);
             }
-            ExecutionError::MaxStepsReached(_) => {
-                handler.emit_general_message(&format!("{error}"), Level::Error);
+            ExecutionError::MaxStepsReached(max_steps) => {
+                let thread_err = ThreadError::ExecutionLimitExceeded {
+                    max_steps: *max_steps as usize,
+                };
+                Self::emit_thread_error(handler, &thread_err, transaction, symbol_table);
             }
         }
     }

protocols/src/scheduler.rs

@@ -349,7 +349,7 @@ impl<'a> Scheduler<'a> {
         self.results.clone()
     }
 
-    fn emit_all_diagnostics(&mut self) {
+    pub fn emit_all_diagnostics(&mut self) {
         // results and todos are parallel arrays, so we can use the same idx
         for (idx, result) in self.results.iter().enumerate() {
             if let Err(error) = result {