Update jci_05.md

abap34 · Nov 23, 2024 · b918c52 · b918c52
1 parent f8d44a0
commit b918c52
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/posts/jci_05.md b/posts/jci_05.md
@@ -909,12 +909,14 @@ function abstract_interpret(I::Program, abstract_semantics::Function, a₀::Abst
         for i in 1:n
             current_input = inputs[i]
             current_output = outputs[i]
-
-            inputs[i] = reduce(⊓, outputs[j] for j in pred[i]; init=copy(a₀)) 
-            outputs[i] = abstract_semantics(I[i])(inputs[i])
 
+            new_input = reduce(⊓, outputs[j] for j in pred[i]; init=copy(a₀))
+            new_output = abstract_semantics(I[i])(new_input)
+
+            inputs[i] = new_input
+            outputs[i] = new_output
 
-            if (current_input != inputs[i]) || (current_output != outputs[i])
+            if (current_input != new_input) || (current_output != new_output)
                 change = true
             end
         end