fix(tests): used semantic_eq in unit tests

sybila · Oct 5, 2023 · ea60f4f · ea60f4f
1 parent 08d682c
commit ea60f4f
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/expressions/mod.rs b/src/expressions/mod.rs
@@ -173,7 +173,7 @@ mod tests {
         );
         let actual = input.to_nnf();
 
-        assert_eq!(expected, actual)
+        assert!(expected.semantic_eq(&actual));
     }
 
     #[test]
@@ -199,7 +199,7 @@ mod tests {
         );
         let actual = input.to_nnf();
 
-        assert_eq!(expected, actual)
+        assert!(expected.semantic_eq(&actual));
     }
 
     #[test]
@@ -222,7 +222,7 @@ mod tests {
         );
         let actual = input.to_nnf();
 
-        assert_eq!(expected, actual)
+        assert!(expected.semantic_eq(&actual));
     }
 
     #[test]
@@ -236,7 +236,7 @@ mod tests {
         );
         let actual = Expression::distribute(input_left, input_right);
 
-        assert_eq!(expected, actual)
+        assert!(expected.semantic_eq(&actual));
     }
 
     #[test]