Open StephanGocht opened 4 years ago
The hints if verification fails is pretty terrible and need to be improved. Currently the constraints are printed with the internal representation instead of the original names, which can lead to a lot of confusion.
The hints if verification fails is pretty terrible and need to be improved. Currently the constraints are printed with the internal representation instead of the original names, which can lead to a lot of confusion.