Mutation testing: reduplication for mutation saving

type:fixed

For LIGO developers

Since we are now deduplicating variables in ast-aggregated, this affects the procedure for mutation saving. For example, original code:

let sub (store, delta : storage * int) : storage = store - delta

gets printed after mutation:

let sub (store, delta : storage * int) : storage = (gen__store1330 + gen__delta1331)

This MR fixes the problem by forgetting count in variables when saving a mutation. It also improves printing of mutations by decompiling the expression.

Changelog details:

assigned to @er433

changed title from Draft: Reduplication for mutation save to Draft: Reduplication for mutation saving

marked this merge request as ready

changed title from Draft: Reduplication for mutation saving to Mutation testing: reduplication for mutation saving

mentioned in commit db08395e

added 2 commits

• db08395e - Merge branch 'er433/test/fix-save-mutation' into 'dev'
• 691a87ac - [Bot] add changelog entry

Compare with previous version

added 7 commits

• 691a87ac...8637e231 - 6 commits from branch dev
• 4987e961 - Merge branch 'dev' into er433/test/fix-save-mutation

Compare with previous version

added 1 commit

• de45b96d - Improve printing of mutations

Compare with previous version

changed the description

approved this merge request

added this merge request to the merge train at position 2

mentioned in commit d2a2e28a

merged

unassigned @er433