Sign upLogin

Verites/verigraph

View on GitHub
Star
tests/Logic/Ctl/ParserSpec.hs

Summary

Maintainability
Test Coverage

Use .
Open

      "AG foo" `shouldParseTo` (Temporal$A$G$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ A $ G $ Atom "foo"

Perhaps

Temporal . A $ (G $ Atom "foo")

Use .
Open

      "AG foo" `shouldParseTo` (Temporal$A$G$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

A $ G $ Atom "foo"

Perhaps

(A . G $ Atom "foo")

Use .
Open

      "EF foo" `shouldParseTo` (Temporal$E$F$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

E $ F $ Atom "foo"

Perhaps

(E . F $ Atom "foo")

Use .
Open

      "EX foo" `shouldParseTo` (Temporal$E$X$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

E $ X $ Atom "foo"

Perhaps

(E . X $ Atom "foo")

Use .
Open

      "AF AG foo" `shouldParseTo` (Temporal$A$F$ Temporal$A$G$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ A $ F $ Temporal $ A $ G $ Atom "foo"

Perhaps

Temporal . A $ (F $ Temporal $ A $ G $ Atom "foo")

Use .
Open

      "~AX~foo" `shouldParseTo` (Not$ Temporal$A$X$ Not$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Not $ Temporal $ A $ X $ Not $ Atom "foo"

Perhaps

Not . Temporal $ (A $ X $ Not $ Atom "foo")

Use .
Open

      "EG foo" `shouldParseTo` (Temporal$E$G$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

E $ G $ Atom "foo"

Perhaps

(E . G $ Atom "foo")

Use .
Open

  it "always parses the result of pretty printing" $
    property $ \expr -> 
      parseExpr "" (show $ pretty expr) == Right expr
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

it "always parses the result of pretty printing" $
  property $
    \ expr -> parseExpr "" (show $ pretty expr) == Right expr

Perhaps

it "always parses the result of pretty printing" . property $
  (\ expr -> parseExpr "" (show $ pretty expr) == Right expr)

Use .
Open

      "AF AG foo" `shouldParseTo` (Temporal$A$F$ Temporal$A$G$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

F $ Temporal $ A $ G $ Atom "foo"

Perhaps

(F . Temporal $ (A $ G $ Atom "foo"))

Use .
Open

      "(AF (AG foo))" `shouldParseTo` (Temporal$A$F$ Temporal$A$G$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ A $ G $ Atom "foo"

Perhaps

(Temporal . A $ (G $ Atom "foo"))

Use .
Open

      "~((AX~foo))" `shouldParseTo` (Not$ Temporal$A$X$ Not$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Not $ Temporal $ A $ X $ Not $ Atom "foo"

Perhaps

Not . Temporal $ (A $ X $ Not $ Atom "foo")

Use .
Open

      "EG foo" `shouldParseTo` (Temporal$E$G$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ E $ G $ Atom "foo"

Perhaps

Temporal . E $ (G $ Atom "foo")

Use .
Open

      "AX foo" `shouldParseTo` (Temporal$A$X$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ A $ X $ Atom "foo"

Perhaps

Temporal . A $ (X $ Atom "foo")

Use .
Open

      "(AF (AG foo))" `shouldParseTo` (Temporal$A$F$ Temporal$A$G$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ A $ F $ Temporal $ A $ G $ Atom "foo"

Perhaps

Temporal . A $ (F $ Temporal $ A $ G $ Atom "foo")

Use .
Open

      "~AX~foo" `shouldParseTo` (Not$ Temporal$A$X$ Not$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ A $ X $ Not $ Atom "foo"

Perhaps

(Temporal . A $ (X $ Not $ Atom "foo"))

Use .
Open

      "AF foo" `shouldParseTo` (Temporal$A$F$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

A $ F $ Atom "foo"

Perhaps

(A . F $ Atom "foo")

Use .
Open

      "EF foo" `shouldParseTo` (Temporal$E$F$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ E $ F $ Atom "foo"

Perhaps

Temporal . E $ (F $ Atom "foo")

Use .
Open

      "~AX~foo" `shouldParseTo` (Not$ Temporal$A$X$ Not$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

X $ Not $ Atom "foo"

Perhaps

(X . Not $ Atom "foo")

Use .
Open

      "(AF (AG foo))" `shouldParseTo` (Temporal$A$F$ Temporal$A$G$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

F $ Temporal $ A $ G $ Atom "foo"

Perhaps

(F . Temporal $ (A $ G $ Atom "foo"))

Use .
Open

      "(AF (AG foo))" `shouldParseTo` (Temporal$A$F$ Temporal$A$G$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

A $ G $ Atom "foo"

Perhaps

(A . G $ Atom "foo")

Use .
Open

      "AX foo" `shouldParseTo` (Temporal$A$X$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

A $ X $ Atom "foo"

Perhaps

(A . X $ Atom "foo")

Use .
Open

      "AF foo" `shouldParseTo` (Temporal$A$F$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ A $ F $ Atom "foo"

Perhaps

Temporal . A $ (F $ Atom "foo")

Use .
Open

      "EX foo" `shouldParseTo` (Temporal$E$X$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ E $ X $ Atom "foo"

Perhaps

Temporal . E $ (X $ Atom "foo")

Use .
Open

      "AF AG foo" `shouldParseTo` (Temporal$A$F$ Temporal$A$G$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

A $ G $ Atom "foo"

Perhaps

(A . G $ Atom "foo")

Use .
Open

      "~((AX~foo))" `shouldParseTo` (Not$ Temporal$A$X$ Not$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ A $ X $ Not $ Atom "foo"

Perhaps

(Temporal . A $ (X $ Not $ Atom "foo"))

Use .
Open

      "AF AG foo" `shouldParseTo` (Temporal$A$F$ Temporal$A$G$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ A $ G $ Atom "foo"

Perhaps

(Temporal . A $ (G $ Atom "foo"))

Use .
Open

      "AF AG foo" `shouldParseTo` (Temporal$A$F$ Temporal$A$G$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

A $ F $ Temporal $ A $ G $ Atom "foo"

Perhaps

(A . F $ (Temporal $ A $ G $ Atom "foo"))

Use .
Open

      "~AX~foo" `shouldParseTo` (Not$ Temporal$A$X$ Not$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

A $ X $ Not $ Atom "foo"

Perhaps

(A . X $ (Not $ Atom "foo"))

Use .
Open

      "(AF (AG foo))" `shouldParseTo` (Temporal$A$F$ Temporal$A$G$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

A $ F $ Temporal $ A $ G $ Atom "foo"

Perhaps

(A . F $ (Temporal $ A $ G $ Atom "foo"))

Use .
Open

      "~((AX~foo))" `shouldParseTo` (Not$ Temporal$A$X$ Not$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

A $ X $ Not $ Atom "foo"

Perhaps

(A . X $ (Not $ Atom "foo"))

Use .
Open

      "AF((foo -> bar))" `shouldParseTo` (Temporal$A$F$ Atom "foo" `Implies` Atom "bar")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

A $ F $ Atom "foo" `Implies` Atom "bar"

Perhaps

(A . F $ (Atom "foo" `Implies` Atom "bar"))

Use .
Open

        `shouldParseTo` (Temporal$A$X$ (Not$ Atom "foo") `And` (Temporal$A$F$ Atom "foo"))
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

A $ F $ Atom "foo"

Perhaps

(A . F $ Atom "foo")

Use .
Open

      "A[foo U bar]" `shouldParseTo` (Temporal$A$ Atom "foo" `U` Atom "bar")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ A $ Atom "foo" `U` Atom "bar"

Perhaps

Temporal . A $ (Atom "foo" `U` Atom "bar")

Use .
Open

          (Temporal$E$U (Temporal$A$ Atom "foo" `U` Atom "bar")
                        (Temporal$E$ Atom "foo" `U` Atom "bar"))
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $
  E $
    U (Temporal $ A $ Atom "foo" `U` Atom "bar")
      (Temporal $ E $ Atom "foo" `U` Atom "bar")

Perhaps

Temporal . E $
  U (Temporal $ A $ Atom "foo" `U` Atom "bar")
    (Temporal $ E $ Atom "foo" `U` Atom "bar")

Use .
Open

                        (Temporal$E$ Atom "foo" `U` Atom "bar"))
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ E $ Atom "foo" `U` Atom "bar"

Perhaps

Temporal . E $ (Atom "foo" `U` Atom "bar")

Use .
Open

      "EF A[foo U bar]" `shouldParseTo` (Temporal$E$F$ Temporal$A$ Atom "foo" `U` Atom "bar")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

F $ Temporal $ A $ Atom "foo" `U` Atom "bar"

Perhaps

(F . Temporal $ (A $ Atom "foo" `U` Atom "bar"))

Use .
Open

        `shouldParseTo` (Temporal$A$X$ (Not$ Atom "foo") `And` (Temporal$A$F$ Atom "foo"))
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

A $ X $ (Not $ Atom "foo") `And` (Temporal $ A $ F $ Atom "foo")

Perhaps

(A . X $
   ((Not $ Atom "foo") `And` (Temporal $ A $ F $ Atom "foo")))

Use .
Open

        `shouldParseTo` (Temporal$A$X$ (Not$ Atom "foo") `And` (Temporal$A$F$ Atom "foo"))
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ A $ F $ Atom "foo"

Perhaps

Temporal . A $ (F $ Atom "foo")

Use .
Open

      "EF A[foo U bar]" `shouldParseTo` (Temporal$E$F$ Temporal$A$ Atom "foo" `U` Atom "bar")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ A $ Atom "foo" `U` Atom "bar"

Perhaps

(Temporal . A $ (Atom "foo" `U` Atom "bar"))

Use .
Open

      "E[foo U bar]" `shouldParseTo` (Temporal$E$ Atom "foo" `U` Atom "bar")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ E $ Atom "foo" `U` Atom "bar"

Perhaps

Temporal . E $ (Atom "foo" `U` Atom "bar")

Use .
Open

        `shouldParseTo` (Temporal$A$X$ (Not$ Atom "foo") `And` (Temporal$A$F$ Atom "foo"))
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $
  A $ X $ (Not $ Atom "foo") `And` (Temporal $ A $ F $ Atom "foo")

Perhaps

Temporal . A $
  (X $ (Not $ Atom "foo") `And` (Temporal $ A $ F $ Atom "foo"))

Use .
Open

          (Temporal$A$U (Atom "foo" `Equiv` Atom "bar")
                        (Atom "foo" `Implies` Atom "bar"))
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $
  A $
    U (Atom "foo" `Equiv` Atom "bar") (Atom "foo" `Implies` Atom "bar")

Perhaps

Temporal . A $
  U (Atom "foo" `Equiv` Atom "bar") (Atom "foo" `Implies` Atom "bar")

Use .
Open

      "~((AX~foo))" `shouldParseTo` (Not$ Temporal$A$X$ Not$ Atom "foo")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

X $ Not $ Atom "foo"

Perhaps

(X . Not $ Atom "foo")

Use .
Open

      "EF A[foo U bar]" `shouldParseTo` (Temporal$E$F$ Temporal$A$ Atom "foo" `U` Atom "bar")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

E $ F $ Temporal $ A $ Atom "foo" `U` Atom "bar"

Perhaps

(E . F $ (Temporal $ A $ Atom "foo" `U` Atom "bar"))

Use .
Open

          (Temporal$E$U (Temporal$A$ Atom "foo" `U` Atom "bar")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ A $ Atom "foo" `U` Atom "bar"

Perhaps

Temporal . A $ (Atom "foo" `U` Atom "bar")

Use .
Open

      "AF((foo -> bar))" `shouldParseTo` (Temporal$A$F$ Atom "foo" `Implies` Atom "bar")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ A $ F $ Atom "foo" `Implies` Atom "bar"

Perhaps

Temporal . A $ (F $ Atom "foo" `Implies` Atom "bar")

Use .
Open

      "EF A[foo U bar]" `shouldParseTo` (Temporal$E$F$ Temporal$A$ Atom "foo" `U` Atom "bar")
Severity: Minor
Found in tests/Logic/Ctl/ParserSpec.hs by hlint

Found

Temporal $ E $ F $ Temporal $ A $ Atom "foo" `U` Atom "bar"

Perhaps

Temporal . E $ (F $ Temporal $ A $ Atom "foo" `U` Atom "bar")

There are no issues that match your filters.

Category
Status