(t *testing.T)
| 1083 | } |
| 1084 | |
| 1085 | func TestRebuildAndChain_Three(t *testing.T) { |
| 1086 | a := cmp(prop("a"), "==", str("1")) |
| 1087 | b := cmp(prop("b"), "==", str("2")) |
| 1088 | c := cmp(prop("c"), "==", str("3")) |
| 1089 | result := rebuildAndChain([]ConditionNode{a, b, c}) |
| 1090 | // Left-folded: (a && b) && c |
| 1091 | assert.Equal(t, "a == '1' && b == '2' && c == '3'", result.Render(), "three terms rebuild as left-folded AND chain") |
| 1092 | } |
| 1093 | |
| 1094 | // --------------------------------------------------------------------------- |
| 1095 | // Z3-inspired rules: Absorption, Subsumption, Resolution, Factoring |
nothing calls this directly
no test coverage detected