perf: api.FromBinary(api.ToBinary(constant))
is not a constant
#913
Labels
api.FromBinary(api.ToBinary(constant))
is not a constant
#913
Should output a constant, and does not. Not a soundness issue -- but we generate useless constraints in that case.
Thanks to @wuestholz for reporting.
The text was updated successfully, but these errors were encountered: