Test cases for ITE factorization rules #86
Description
We need to add all the necessary test cases to validate the rules mentioned in sc-fvt#309 for ITE factorization.
Transferred from: input-output-hk/sc-fvt#357
{{ message }}
We need to add all the necessary test cases to validate the rules mentioned in sc-fvt#309 for ITE factorization.
Transferred from: input-output-hk/sc-fvt#357