Skip to content

Commit

Permalink
Fix "Equality matching" tests due to Term argument eltype change
Browse files Browse the repository at this point in the history
[skip ci]
  • Loading branch information
bowenszhu committed Aug 25, 2024
1 parent b1b855b commit 4ac8d4f
Showing 1 changed file with 5 additions and 3 deletions.
8 changes: 5 additions & 3 deletions test/rewrite.jl
Original file line number Diff line number Diff line change
Expand Up @@ -38,10 +38,12 @@ end

@eqtest @rule(+(~~x) => ~~x)(a + b) == [a,b]
@eqtest @rule(+(~~x) => ~~x)(term(+, a, b, c)) == [a,b,c]
@eqtest @rule(+(~~x, ~y, ~~x)=>(~~x, ~y))(term(+, 9, 8, 9; T = Any)) == ([9], 8)
@eqtest @rule(+(~~x, ~y, ~~x)=>(~~x, ~y))(term(+, 9, 8, 9; T = Any)) ==
(Symbolic[9], _Const(8))
@eqtest @rule(+(~~x, ~y, ~~x)=>(~~x, ~y, ~~x))(term(+, 9, 8, 9, 9, 8; T = Any)) ==
([9, 8], 9, [9, 8])
@eqtest @rule(+(~~x, ~y, ~~x)=>(~~x, ~y, ~~x))(term(+, 6; T = Any)) == ([], 6, [])
(Symbolic[9, 8], _Const(9), Symbolic[9, 8])
@eqtest @rule(+(~~x, ~y, ~~x)=>(~~x, ~y, ~~x))(term(+, 6; T = Any)) ==
(Symbolic[], _Const(6), Symbolic[])
end

using SymbolicUtils: @capture
Expand Down

0 comments on commit 4ac8d4f

Please sign in to comment.