Test cases for arithmetic equality simplification rules #88
Description
We need to add all the necessary test cases to validate the rules mentioned in sc-fvt#324 for arithmetic equality simplification.
Transferred from: input-output-hk/sc-fvt#359
{{ message }}