From 74ee16ec2aa6dae7889a21d503ba001bce671c3a Mon Sep 17 00:00:00 2001 From: Sorawee Porncharoenwase Date: Thu, 19 Oct 2023 06:07:37 +0700 Subject: [PATCH] add diffing for other This is especially useful in the --strong mode --- picus.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/picus.rkt b/picus.rkt index 8f0ec36..02827f7 100644 --- 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])