add diffing for other

This is especially useful in the --strong mode
Veridise · Oct 18, 2023 · 74ee16e · 74ee16e
1 parent e68c42d
commit 74ee16e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/picus.rkt b/picus.rkt
@@ -321,8 +321,8 @@
    (format-cex "inputs" in)
    (format-cex "first possible outputs" out1 #:diff out2)
    (format-cex "second possible outputs" out2 #:diff out1)
-   (format-cex "first internal variables" other1)
-   (format-cex "second internal variables" other2)
+   (format-cex "first internal variables" other1 #:diff other2)
+   (format-cex "second internal variables" other2 #:diff other1)
 
    (when arg-wtns
      (parameterize ([current-directory arg-wtns])