Skip to content

Commit

Permalink
Update tests
Browse files Browse the repository at this point in the history
  • Loading branch information
YingboMa committed Sep 1, 2021
1 parent 0004043 commit 306dbb4
Showing 1 changed file with 3 additions and 4 deletions.
7 changes: 3 additions & 4 deletions test/order.jl
Original file line number Diff line number Diff line change
Expand Up @@ -5,15 +5,15 @@ SymbolicUtils.show_simplified[] = false

@syms a b c

function istotal(x,y)
function istotal(x, y)
#either
if x <ₑ y
return !(y <ₑ x)
elseif y <ₑ x
return !(x <ₑ y) # already tested
else
# neither, equal
return true
return isequal(x, y)
end
end

Expand Down Expand Up @@ -81,8 +81,7 @@ end
@testset "small terms" begin
# this failing was a cause of a nasty stackoverflow #82
@syms a
@test Term(^, [a, -1]) <ₑ (a + 2)
@test !((a + 2) <Term(^, [a, -1]))
istotal(Term(^, [a, -1]), (a + 2))
end

@testset "transitivity" begin
Expand Down

0 comments on commit 306dbb4

Please sign in to comment.