@@ -7126,10 +7126,7 @@ fn test_boolconst_ne_produces_boolconst() {
71267126 . unwrap ( ) ;
71277127
71287128 let check = egraph. parse_and_run_program ( None , "(check (= root expected))" ) ;
7129- assert ! (
7130- check. is_ok( ) ,
7131- "Ne(3, 7) should fold to BoolConst(1)"
7132- ) ;
7129+ assert ! ( check. is_ok( ) , "Ne(3, 7) should fold to BoolConst(1)" ) ;
71337130}
71347131
71357132#[ test]
@@ -7152,10 +7149,7 @@ fn test_boolconst_reflexive_eq() {
71527149 . unwrap ( ) ;
71537150
71547151 let check = egraph. parse_and_run_program ( None , "(check (= root expected))" ) ;
7155- assert ! (
7156- check. is_ok( ) ,
7157- "Eq(x, x) should fold to BoolConst(1)"
7158- ) ;
7152+ assert ! ( check. is_ok( ) , "Eq(x, x) should fold to BoolConst(1)" ) ;
71597153}
71607154
71617155#[ test]
@@ -7178,10 +7172,7 @@ fn test_boolconst_reflexive_ne() {
71787172 . unwrap ( ) ;
71797173
71807174 let check = egraph. parse_and_run_program ( None , "(check (= root expected))" ) ;
7181- assert ! (
7182- check. is_ok( ) ,
7183- "Ne(x, x) should fold to BoolConst(0)"
7184- ) ;
7175+ assert ! ( check. is_ok( ) , "Ne(x, x) should fold to BoolConst(0)" ) ;
71857176}
71867177
71877178#[ test]
@@ -7361,10 +7352,7 @@ fn test_boolconst_logical_complement() {
73617352 . unwrap ( ) ;
73627353
73637354 let check = egraph. parse_and_run_program ( None , "(check (= root expected))" ) ;
7364- assert ! (
7365- check. is_ok( ) ,
7366- "LogAnd(x, LogNot(x)) should be BoolConst(0)"
7367- ) ;
7355+ assert ! ( check. is_ok( ) , "LogAnd(x, LogNot(x)) should be BoolConst(0)" ) ;
73687356}
73697357
73707358#[ test]
@@ -7387,10 +7375,7 @@ fn test_boolconst_logical_tautology() {
73877375 . unwrap ( ) ;
73887376
73897377 let check = egraph. parse_and_run_program ( None , "(check (= root expected))" ) ;
7390- assert ! (
7391- check. is_ok( ) ,
7392- "LogOr(x, LogNot(x)) should be BoolConst(1)"
7393- ) ;
7378+ assert ! ( check. is_ok( ) , "LogOr(x, LogNot(x)) should be BoolConst(1)" ) ;
73947379}
73957380
73967381#[ test]
@@ -7413,10 +7398,7 @@ fn test_boolconst_float_comparison_reflexive() {
74137398 . unwrap ( ) ;
74147399
74157400 let check = egraph. parse_and_run_program ( None , "(check (= root expected))" ) ;
7416- assert ! (
7417- check. is_ok( ) ,
7418- "FOrdEq(x, x) should fold to BoolConst(1)"
7419- ) ;
7401+ assert ! ( check. is_ok( ) , "FOrdEq(x, x) should fold to BoolConst(1)" ) ;
74207402}
74217403
74227404#[ test]
0 commit comments