From f27e66c1529dfd3803c492d2ce72dcd3f71b0f0c Mon Sep 17 00:00:00 2001 From: PJ Date: Mon, 1 Jun 2026 21:56:12 +0530 Subject: [PATCH] test(ltl): drop Verdict.String tautology tests --- internal/ltl/evaluator_test.go | 9 --------- internal/ltl/formula_test.go | 6 ------ 2 files changed, 15 deletions(-) diff --git a/internal/ltl/evaluator_test.go b/internal/ltl/evaluator_test.go index 0f51dd8..6d0628e 100644 --- a/internal/ltl/evaluator_test.go +++ b/internal/ltl/evaluator_test.go @@ -93,15 +93,6 @@ func TestEvaluator_TopLevelThunkRespectsObservation(t *testing.T) { } } -func TestVerdict_String(t *testing.T) { - if VerdictHolds.String() != "holds" { - t.Errorf("VerdictHolds.String() = %q", VerdictHolds.String()) - } - if VerdictViolated.String() != "violated" { - t.Errorf("VerdictViolated.String() = %q", VerdictViolated.String()) - } -} - func TestDescribe(t *testing.T) { formula := Always(Pure(true)) if got := Describe(formula); !strings.Contains(got, "Always") || !strings.Contains(got, "Pure(true)") { diff --git a/internal/ltl/formula_test.go b/internal/ltl/formula_test.go index f0b85af..7716de5 100644 --- a/internal/ltl/formula_test.go +++ b/internal/ltl/formula_test.go @@ -187,12 +187,6 @@ func TestNot_InvertsPure(t *testing.T) { } } -func TestVerdict_StringPending(t *testing.T) { - if got := VerdictPending.String(); got != "pending" { - t.Errorf("VerdictPending.String() = %q", got) - } -} - func TestMarshalJSON_AlwaysImpliesEventually(t *testing.T) { formula := Always(Implies(Now(Pure(true)), EventuallyWithinSteps(Pure(false), 3))) body, err := json.Marshal(formula)