pj/sanderling
1
0 Fork 0
mirror of https://github.com/priyanshujain/sanderling.git synced 2026-10-02 19:17:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

test(ltl): drop Verdict.String tautology tests

Browse Source
This commit is contained in:
pj committed 2026-06-01 21:56:12 +05:30
1 parent 5df421956c
commit f27e66c152
2 files changed
-15
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

internal/ltl/evaluator_test.go
-9
View File
@@ -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) { func TestDescribe(t *testing.T) {
formula := Always(Pure(true)) formula := Always(Pure(true))
if got := Describe(formula); !strings.Contains(got, "Always") || !strings.Contains(got, "Pure(true)") { if got := Describe(formula); !strings.Contains(got, "Always") || !strings.Contains(got, "Pure(true)") {
internal/ltl/formula_test.go
-6
View File
@@ -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) { func TestMarshalJSON_AlwaysImpliesEventually(t *testing.T) {
formula := Always(Implies(Now(Pure(true)), EventuallyWithinSteps(Pure(false), 3))) formula := Always(Implies(Now(Pure(true)), EventuallyWithinSteps(Pure(false), 3)))
body, err := json.Marshal(formula) body, err := json.Marshal(formula)