From: Mark <markjordanthom@gmail.com>
Date: Thu, 23 Nov 2023 19:55:55 +0000 (-0700)
Subject: set b0 to b for run_query call
X-Git-Tag: v0.9.4~103^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7cac13aefadb504acd22fc6c47b03b530306a31c;p=scryer-prolog.git

set b0 to b for run_query call
---

diff --git a/src/machine/lib_machine.rs b/src/machine/lib_machine.rs
index 43aed66a..54f9ba95 100644
--- a/src/machine/lib_machine.rs
+++ b/src/machine/lib_machine.rs
@@ -57,6 +57,7 @@ impl Machine {
         or_frame.prelude.attr_var_queue_len = 0;
 
         self.machine_st.b = stub_b;
+        self.machine_st.hb = self.machine_st.heap.len();
     }
 
     pub fn run_query(&mut self, query: String) -> QueryResult {
@@ -87,6 +88,7 @@ impl Machine {
             .expect("couldn't get code index")
             .local()
             .unwrap();
+        self.machine_st.b0 = self.machine_st.b;
 
         let var_names: IndexMap<_, _> = term_write_result
             .var_dict
@@ -422,7 +424,6 @@ mod tests {
         );
     }
 
-    #[ignore = "fails on windows"]
     #[test]
     fn stress_integration_test() {
         let mut machine = Machine::new_lib();