From e8aa5eb33355e610e6464131f5b853b7a0d8d8bf Mon Sep 17 00:00:00 2001 From: Brian Hicks Date: Tue, 5 Jan 2021 20:05:14 -0600 Subject: [PATCH] make distinct names for elm-test-rs --- tests/Datalog/AtomTests.elm | 2 +- tests/Datalog/TermTests.elm | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/Datalog/AtomTests.elm b/tests/Datalog/AtomTests.elm index a3b879e..52c4eac 100644 --- a/tests/Datalog/AtomTests.elm +++ b/tests/Datalog/AtomTests.elm @@ -9,7 +9,7 @@ import Test exposing (..) isGroundTest : Test isGroundTest = - describe "isGround" + describe "atom isGround" [ test "if there are terms, the atom is ground" <| \_ -> atom "x" [] |> isGround |> Expect.equal False , test "if all terms are constant, the atom is ground" <| diff --git a/tests/Datalog/TermTests.elm b/tests/Datalog/TermTests.elm index eabd0a2..13cfe82 100644 --- a/tests/Datalog/TermTests.elm +++ b/tests/Datalog/TermTests.elm @@ -7,7 +7,7 @@ import Test exposing (..) isGroundTest : Test isGroundTest = - describe "isGround" + describe "term isGround" [ test "a string is ground" <| \_ -> string "a" |> isGround |> Expect.equal True , test "an integer is ground" <|