()
| 132 | } |
| 133 | |
| 134 | func (builder *builder) addVar() frontend.Variable { |
| 135 | return newVariable(builder.addVarId()) |
| 136 | } |
| 137 | |
| 138 | func (builder *builder) ceToId(x constraint.Element) int { |
| 139 | builder.instructions = append(builder.instructions, irsource.Instruction{ |
no test coverage detected