Skip to content

Commit

Permalink
a
Browse files Browse the repository at this point in the history
  • Loading branch information
bowenszhu committed May 1, 2024
1 parent eaa99fb commit cb3cdbd
Showing 1 changed file with 9 additions and 9 deletions.
18 changes: 9 additions & 9 deletions test/rulesets.jl
Original file line number Diff line number Diff line change
Expand Up @@ -187,16 +187,16 @@ using SymbolicUtils: getdepth, Rewriters, Term

@syms a
_f(x) = x === a
@testset "where1" begin
@syms a b
r = @rule ~x => ~x where {_f(~x)}
@eqtest r(a) == a
@test isnothing(r(b))
# @testset "where1" begin
# @syms a b
# r = @rule ~x => ~x where {_f(~x)}
# @eqtest r(a) == a
# @test isnothing(r(b))

r = @acrule ~x => ~x where {_f(~x)}
@eqtest r(a) == a
@test r(b) === nothing
end
# r = @acrule ~x => ~x where {_f(~x)}
# @eqtest r(a) == a
# @test r(b) === nothing
# end

@testset "where2" begin
@syms a b
Expand Down

0 comments on commit cb3cdbd

Please sign in to comment.