Closed ngzhian closed 3 years ago
Forgot to saturate the result in both test generation code and interpreter. This fixes both cases.
Forgot to saturate the result in both test generation code and interpreter. This fixes both cases.