Commit is faulty in its current implementation as it merely returns a compile-time random number.
(v ...frontend.Variable)
| 394 | |
| 395 | // Commit is faulty in its current implementation as it merely returns a compile-time random number. |
| 396 | func (builder *builder) Commit(v ...frontend.Variable) (frontend.Variable, error) { |
| 397 | vars := builder.toVariableIds(v...) |
| 398 | builder.instructions = append(builder.instructions, irsource.Instruction{ |
| 399 | Type: irsource.Commit, |
| 400 | Inputs: vars, |
| 401 | }) |
| 402 | return builder.addVar(), nil |
| 403 | } |
| 404 | |
| 405 | // SetGkrInfo is not implemented and will panic if called. |
| 406 | func (builder *builder) SetGkrInfo(info constraint.GkrInfo) error { |
nothing calls this directly
no test coverage detected