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" <|