Compare by phi only

Lipen · Lipen · commit 3365ca115cdb · 2025-12-17T00:51:24.000+03:00
diff --git a/examples/abstract-interpretation/src/bdd_control.rs b/examples/abstract-interpretation/src/bdd_control.rs
@@ -1351,7 +1351,7 @@ impl Hash for HashableControlState {
 
 impl PartialEq for HashableControlState {
     fn eq(&self, other: &Self) -> bool {
-        self.0 == other.0
+        self.0.phi == other.0.phi
     }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -1351,7 +1351,7 @@ impl Hash for HashableControlState {`
`1351`	`1351`
`1352`	`1352`	`impl PartialEq for HashableControlState {`
`1353`	`1353`	`fn eq(&self, other: &Self) -> bool {`
`1354`		`- self.0 == other.0`
	`1354`	`+ self.0.phi == other.0.phi`
`1355`	`1355`	`}`
`1356`	`1356`	`}`
`1357`	`1357`