(t *testing.T)
| 1027 | } |
| 1028 | |
| 1029 | func TestCollectOrTerms_OrNode(t *testing.T) { |
| 1030 | // collectOrTerms flattens a two-level OR. |
| 1031 | a := cmp(prop("a"), "==", str("1")) |
| 1032 | b := cmp(prop("b"), "==", str("2")) |
| 1033 | c := cmp(prop("c"), "==", str("3")) |
| 1034 | terms := collectOrTerms(or2(or2(a, b), c)) |
| 1035 | require.Len(t, terms, 3, "should collect 3 terms from nested OR") |
| 1036 | } |
| 1037 | |
| 1038 | func TestCollectOrTerms_DisjunctionNode(t *testing.T) { |
| 1039 | // collectOrTerms flattens a DisjunctionNode. |
nothing calls this directly
no test coverage detected